Synthesizing Robust Systems

Roderick Paul Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, Robert Könighofer

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Originalspracheenglisch
Seiten (von - bis)193-220
FachzeitschriftActa informatica
Jahrgang51
Ausgabenummer3
DOIs
PublikationsstatusVeröffentlicht - 2014

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • Application
  • Theoretical

Dieses zitieren

Bloem, R. P., Chatterjee, K., Greimel, K., Henzinger, T., Hofferek, G., Jobstmann, B., ... Könighofer, R. (2014). Synthesizing Robust Systems. Acta informatica, 51(3), 193-220. https://doi.org/10.1007/s00236-013-0191-5