%0 Journal Article %1 journals/acta/BloemCGHHJKK14 %A Bloem, Roderick %A Chatterjee, Krishnendu %A Greimel, Karin %A Henzinger, Thomas A. %A Hofferek, Georg %A Jobstmann, Barbara %A Könighofer, Bettina %A Könighofer, Robert %D 2014 %J Acta Inf. %K dblp %N 3-4 %P 193-220 %T Synthesizing robust systems. %U http://dblp.uni-trier.de/db/journals/acta/acta51.html#BloemCGHHJKK14 %V 51

@article{journals/acta/BloemCGHHJKK14, added-at = {2018-11-30T00:00:00.000+0100}, author = {Bloem, Roderick and Chatterjee, Krishnendu and Greimel, Karin and Henzinger, Thomas A. and Hofferek, Georg and Jobstmann, Barbara and Könighofer, Bettina and Könighofer, Robert}, biburl = {https://www.bibsonomy.org/bibtex/2a246ef0595afb4d44943d9ebdb4b1e2e/dblp}, ee = {https://doi.org/10.1007/s00236-013-0191-5}, interhash = {3edb4acbb7de01137c51a194d8ac9035}, intrahash = {a246ef0595afb4d44943d9ebdb4b1e2e}, journal = {Acta Inf.}, keywords = {dblp}, number = {3-4}, pages = {193-220}, timestamp = {2018-12-01T11:36:42.000+0100}, title = {Synthesizing robust systems.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta51.html#BloemCGHHJKK14}, volume = 51, year = 2014 }