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 FachzeitschriftArtikel

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