The Church Synthesis Problem with Metric
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Mark Jenkins, Joël Ouaknine, Alexander Rabinovich, James Worrell
The Church Synthesis Problem with Metric
CSL, 2011.

CSL 2011
Full names Links ISxN
	author        = "Mark Jenkins and Joël Ouaknine and Alexander Rabinovich and James Worrell",
	booktitle     = "{Proceedings of the 20th EACSL Annual Conference / 25th International Workshop on Computer Science Logic}",
	doi           = "10.4230/LIPIcs.CSL.2011.307",
	isbn          = "978-3-939897-32-3",
	pages         = "307--321",
	publisher     = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}",
	series        = "{Leibniz International Proceedings in Informatics}",
	title         = "{The Church Synthesis Problem with Metric}",
	volume        = 12,
	year          = 2011,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.