%0 Conference Paper %1 conf/stacs/KupfermanLVY11 %A Kupferman, Orna %A Lustig, Yoad %A Vardi, Moshe Y. %A Yannakakis, Mihalis %B STACS %D 2011 %E Schwentick, Thomas %E Dürr, Christoph %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 615-626 %T Temporal Synthesis for Bounded Systems and Environments. %U http://dblp.uni-trier.de/db/conf/stacs/stacs2011.html#KupfermanLVY11 %V 9 %@ 978-3-939897-25-5

@inproceedings{conf/stacs/KupfermanLVY11, added-at = {2018-08-23T00:00:00.000+0200}, author = {Kupferman, Orna and Lustig, Yoad and Vardi, Moshe Y. and Yannakakis, Mihalis}, biburl = {https://www.bibsonomy.org/bibtex/25c644e0a401fb8ef5ea9719fe57d7f1b/dblp}, booktitle = {STACS}, crossref = {conf/stacs/2011}, editor = {Schwentick, Thomas and Dürr, Christoph}, ee = {https://doi.org/10.4230/LIPIcs.STACS.2011.615}, interhash = {bc1ca8df44ad0aaeb1328c38c248d1f4}, intrahash = {5c644e0a401fb8ef5ea9719fe57d7f1b}, isbn = {978-3-939897-25-5}, keywords = {dblp}, pages = {615-626}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:48:08.000+0100}, title = {Temporal Synthesis for Bounded Systems and Environments.}, url = {http://dblp.uni-trier.de/db/conf/stacs/stacs2011.html#KupfermanLVY11}, volume = 9, year = 2011 }