%0 Conference Paper %1 conf/sofsem/BernetJ08 %A Bernet, Julien %A Janin, David %B SOFSEM %D 2008 %E Geffert, Viliam %E Karhumäki, Juhani %E Bertoni, Alberto %E Preneel, Bart %E Návrat, Pavol %E Bieliková, Mária %I Springer %K dblp %P 162-173 %T From Asynchronous to Synchronous Specifications for Distributed Program Synthesis. %U http://dblp.uni-trier.de/db/conf/sofsem/sofsem2008.html#BernetJ08 %V 4910 %@ 978-3-540-77565-2

@inproceedings{conf/sofsem/BernetJ08, added-at = {2017-05-23T00:00:00.000+0200}, author = {Bernet, Julien and Janin, David}, biburl = {https://www.bibsonomy.org/bibtex/2b23336d338b2e273f7f8adcb43d13d7f/dblp}, booktitle = {SOFSEM}, crossref = {conf/sofsem/2008}, editor = {Geffert, Viliam and Karhumäki, Juhani and Bertoni, Alberto and Preneel, Bart and Návrat, Pavol and Bieliková, Mária}, ee = {https://doi.org/10.1007/978-3-540-77566-9_14}, interhash = {854812e7bf953700eeea672e013481f1}, intrahash = {b23336d338b2e273f7f8adcb43d13d7f}, isbn = {978-3-540-77565-2}, keywords = {dblp}, pages = {162-173}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:26:56.000+0200}, title = {From Asynchronous to Synchronous Specifications for Distributed Program Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/sofsem/sofsem2008.html#BernetJ08}, volume = 4910, year = 2008 }