| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| 25 Years of Model Checking: History, Achievements, Perspectives | 978-3-540-69849-4 (3-540-69849-3) | 2008 | Orna Grumberg |
| Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, ... Computer Science and General Issues) | 978-3-642-15204-7 (3-642-15204-X) | 2010 | Anuj Dawar |