Synthesizing Robust Systems

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelProceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009
Herausgeber (Verlag).
Seiten85-92
DOIs
PublikationsstatusVeröffentlicht - 2009

Dieses zitieren