%0 Generic %1 BickfordConstableHalpern05KnowledgeBasedSynthesisDistSys %A Bickford, M. %A Constable, R.C. %A Halpern, J.Y. %A Petride, S. %B Logic for Programming, Artificial Intelligence, and Reasoning %D 2005 %K distributed synthesis %P 449--465 %T Knowledge-based synthesis of distributed systems using event structures %U http://scholar.google.com/scholar.bib?q=info:dB5nNkye3E4J:scholar.google.com/&output=citation&hl=en&as_sdt=2001&ct=citation&cd=0

@conference{BickfordConstableHalpern05KnowledgeBasedSynthesisDistSys, added-at = {2011-01-07T10:01:55.000+0100}, author = {Bickford, M. and Constable, R.C. and Halpern, J.Y. and Petride, S.}, biburl = {https://www.bibsonomy.org/bibtex/23260a8fe758806e6f66d0fa8257cab5b/giuliano.losa}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning}, interhash = {63d1235272b3a2bfce0c4c418b06331d}, intrahash = {3260a8fe758806e6f66d0fa8257cab5b}, keywords = {distributed synthesis}, organization = {Springer}, pages = {449--465}, timestamp = {2011-01-07T10:01:55.000+0100}, title = {{Knowledge-based synthesis of distributed systems using event structures}}, url = {http://scholar.google.com/scholar.bib?q=info:dB5nNkye3E4J:scholar.google.com/&output=citation&hl=en&as_sdt=2001&ct=citation&cd=0}, year = 2005 }