@inproceedings{conf/sofsem/Janin07,
	title = {On the (High) Undecidability of Distributed Synthesis Problems.},
	author = {David Janin},
	booktitle = {SOFSEM (1)},
	crossref = {conf/sofsem/2007},
	editor = {Jan van Leeuwen and Giuseppe F. Italiano and Wiebe van der Hoek and Christoph Meinel and Harald Sack and Frantisek Plasil},
	pages = {320-329},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/sofsem/sofsem2007.html#Janin07},
	volume = {4362},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/255c435b43713583a613eac6666bd9ec7/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/978-3-540-69507-3_26}, isbn = {978-3-540-69506-6}, date = {2007-09-13},
	keywords = {dblp }
}