%0 Journal Article %1 journals/jcss/BloemJPPS12 %A Bloem, Roderick %A Jobstmann, Barbara %A Piterman, Nir %A Pnueli, Amir %A Sa'ar, Yaniv %D 2012 %J J. Comput. Syst. Sci. %K dblp %N 3 %P 911-938 %T Synthesis of Reactive(1) designs. %U http://dblp.uni-trier.de/db/journals/jcss/jcss78.html#BloemJPPS12 %V 78

@article{journals/jcss/BloemJPPS12, added-at = {2022-01-03T00:00:00.000+0100}, author = {Bloem, Roderick and Jobstmann, Barbara and Piterman, Nir and Pnueli, Amir and Sa'ar, Yaniv}, biburl = {https://www.bibsonomy.org/bibtex/294e11ee458ea5604ffdb520b08fa4e32/dblp}, ee = {https://doi.org/10.1016/j.jcss.2011.08.007}, interhash = {5e149ce30f6bf7df4e14cb2db0190b24}, intrahash = {94e11ee458ea5604ffdb520b08fa4e32}, journal = {J. Comput. Syst. Sci.}, keywords = {dblp}, number = 3, pages = {911-938}, timestamp = {2024-04-08T19:15:05.000+0200}, title = {Synthesis of Reactive(1) designs.}, url = {http://dblp.uni-trier.de/db/journals/jcss/jcss78.html#BloemJPPS12}, volume = 78, year = 2012 }