%0 Conference Paper %1 conf/atva/BloemEK15 %A Bloem, Roderick %A Ehlers, Rüdiger %A Könighofer, Robert %B ATVA %D 2015 %E Finkbeiner, Bernd %E Pu, Geguang %E Zhang, Lijun %I Springer %K dblp %P 394-410 %T Cooperative Reactive Synthesis. %U http://dblp.uni-trier.de/db/conf/atva/atva2015.html#BloemEK15 %V 9364 %@ 978-3-319-24952-0

@inproceedings{conf/atva/BloemEK15, added-at = {2018-11-02T00:00:00.000+0100}, author = {Bloem, Roderick and Ehlers, Rüdiger and Könighofer, Robert}, biburl = {https://www.bibsonomy.org/bibtex/2936571fad7932f87738b70b9ddf7832f/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2015}, editor = {Finkbeiner, Bernd and Pu, Geguang and Zhang, Lijun}, ee = {https://doi.org/10.1007/978-3-319-24953-7_29}, interhash = {93d174c410593eab2675a43937353d81}, intrahash = {936571fad7932f87738b70b9ddf7832f}, isbn = {978-3-319-24952-0}, keywords = {dblp}, pages = {394-410}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:01:10.000+0200}, title = {Cooperative Reactive Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2015.html#BloemEK15}, volume = 9364, year = 2015 }