%0 Book Section %1 reference/mc/BloemCJ18 %A Bloem, Roderick %A Chatterjee, Krishnendu %A Jobstmann, Barbara %B Handbook of Model Checking %D 2018 %E Clarke, Edmund M. %E Henzinger, Thomas A. %E Veith, Helmut %E Bloem, Roderick %I Springer %K dblp %P 921-962 %T Graph Games and Reactive Synthesis. %U http://dblp.uni-trier.de/db/reference/mc/mc2018.html#BloemCJ18 %@ 978-3-319-10575-8

@incollection{reference/mc/BloemCJ18, added-at = {2018-05-29T00:00:00.000+0200}, author = {Bloem, Roderick and Chatterjee, Krishnendu and Jobstmann, Barbara}, biburl = {https://www.bibsonomy.org/bibtex/29f14a70deabaf46cb640614530b6a977/dblp}, booktitle = {Handbook of Model Checking}, crossref = {reference/mc/2018}, editor = {Clarke, Edmund M. and Henzinger, Thomas A. and Veith, Helmut and Bloem, Roderick}, ee = {https://doi.org/10.1007/978-3-319-10575-8_27}, interhash = {37c7345d43dec3d995922bf343c57275}, intrahash = {9f14a70deabaf46cb640614530b6a977}, isbn = {978-3-319-10575-8}, keywords = {dblp}, pages = {921-962}, publisher = {Springer}, timestamp = {2024-04-09T07:38:27.000+0200}, title = {Graph Games and Reactive Synthesis.}, url = {http://dblp.uni-trier.de/db/reference/mc/mc2018.html#BloemCJ18}, year = 2018 }