| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| 25 Years of Model Checking: History, Achievements, Perspectives | 978-3-540-69849-4 | 2008 | ||
| Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings | 978-3-540-63166-8 | 2008 | ||
| Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday | 978-3-642-01747-6 | 2009 | Michael Kaminski · Shmuel Katz · Shuly Wintner | |
| Model Checking | 978-0-262-03270-4 | 1999 | Edmund M. Clarke Jr. · Doron A. Peled | |
| Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European ... Notes in Computer Science , Band 4424) | 978-3-540-71208-4 | 2009 | Michael Huth | |