Synthesizing Robust Systems

Roderick Paul Bloem, Karin Greimel, Thomas Henzinger, Barbara Jobstmann

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009
Publisher.
Pages85-92
DOIs
Publication statusPublished - 2009

Cite this