Originalsprache | englisch |
---|---|
Titel | Handbook of Model Checking |
Redakteure/-innen | Edmund M. Clark, Thomas A. Henzinger, Helmut Veith, Roderick Bloem |
Erscheinungsort | Cham |
Herausgeber (Verlag) | Springer |
Seiten | 921-962 |
Seitenumfang | 42 |
ISBN (Print) | 978-3-319-10574-1 |
DOIs | |
Publikationsstatus | Veröffentlicht - 2018 |
Graph Games and Reactive Synthesis
Roderick Bloem, Krishnendu Chatterjee, Barbara Jobstmann
Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in Buch/Bericht › Begutachtung