Original language | English |
---|---|
Title of host publication | Handbook of Model Checking |
Editors | Edmund M. Clark, Thomas A. Henzinger, Helmut Veith, Roderick Bloem |
Place of Publication | Cham |
Publisher | Springer |
Pages | 921-962 |
Number of pages | 42 |
ISBN (Print) | 978-3-319-10574-1 |
DOIs | |
Publication status | Published - 2018 |
Graph Games and Reactive Synthesis
Roderick Bloem, Krishnendu Chatterjee, Barbara Jobstmann
Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review