Synthesizing robust systems (bibtex)
by Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, Robert Könighofer
Reference:
Synthesizing robust systemsRoderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, Robert KönighoferActa Informatica, 2013, Springer Berlin Heidelberg.
Bibtex Entry:
@article{BCGHHJKK13,
publisher = {Springer Berlin Heidelberg},
doi = {10.1007/s00236-013-0191-5},
title = {Synthesizing robust systems},
url = {/pubpdf/Synthesizing_robust_systems.pdf},
journal = {Acta Informatica},
author = {Bloem, Roderick and Chatterjee, Krishnendu and Greimel, Karin and
Henzinger, Thomas A. and Hofferek, Georg and Jobstmann, Barbara and
K\"onighofer, Bettina and K\"onighofer, Robert},
link = {http://dx.doi.org/10.1007/s00236-013-0191-5},
year = {2013},
issn = {0001-5903},
}
Powered by bibtexbrowser