Better Quality in Synthesis through Quantitative Objectives

Roderick Paul Bloem, Krishnendu Chatterjee, Thomas Henziger, Barbara Jobstmann

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

Originalspracheenglisch
TitelInternational Conference on Computer Aided Verification
Herausgeber (Verlag).
Seiten140-156
DOIs
PublikationsstatusVeröffentlicht - 2009

Dieses zitieren