Graph Games and Reactive Synthesis

Roderick Bloem, Krishnendu Chatterjee, Barbara Jobstmann

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

Originalspracheenglisch
TitelHandbook of Model Checking
Redakteure/-innenEdmund M. Clark, Thomas A. Henzinger, Helmut Veith, Roderick Bloem
ErscheinungsortCham
Herausgeber (Verlag)Springer
Seiten921-962
Seitenumfang42
ISBN (Print)978-3-319-10574-1
DOIs
PublikationsstatusVeröffentlicht - 2018

Dieses zitieren