| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| 25 Years of Model Checking: History, Achievements, Perspectives | Taschenbuch | 978-3-540-69849-4 | 2010 | Orna Grumberg |
| Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings | " | 978-3-642-39798-1 | 2013 | Natasha Sharygina |
| Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings | " | 978-3-642-15204-7 | 2010 | Anuj Dawar |
| Handbook of Model Checking | " | 978-3-030-13233-0 | 2019 | Edmund M. Clarke · Thomas A. Henzinger · Roderick Bloem |
| Handbook of Model Checking | Hardcover | 978-3-319-10574-1 | 2018 | Edmund M. Clarke · Thomas A. Henzinger · Roderick Bloem |