%0 Conference Paper %1 conf/hvc/KupfermanSS11 %A Kupferman, Orna %A Sadigh, Dorsa %A Seshia, Sanjit A. %B Haifa Verification Conference %D 2011 %E Eder, Kerstin %E Lourenço, João %E Shehory, Onn %I Springer %K dblp %P 5-19 %T Synthesis with Clairvoyance. %U http://dblp.uni-trier.de/db/conf/hvc/hvc2011.html#KupfermanSS11 %V 7261 %@ 978-3-642-34187-8

@inproceedings{conf/hvc/KupfermanSS11, added-at = {2017-05-19T00:00:00.000+0200}, author = {Kupferman, Orna and Sadigh, Dorsa and Seshia, Sanjit A.}, biburl = {https://www.bibsonomy.org/bibtex/23c7af149091934e0e49e6df28f97dde8/dblp}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2011}, editor = {Eder, Kerstin and Lourenço, João and Shehory, Onn}, ee = {https://doi.org/10.1007/978-3-642-34188-5_5}, interhash = {cc6b42751c5a62f2601e608d0d54ad80}, intrahash = {3c7af149091934e0e49e6df28f97dde8}, isbn = {978-3-642-34187-8}, keywords = {dblp}, pages = {5-19}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:06:25.000+0200}, title = {Synthesis with Clairvoyance.}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2011.html#KupfermanSS11}, volume = 7261, year = 2011 }