| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings | Taschenbuch | 978-3-540-54477-7 | 2008 | Robert P. Kurshan | |
| Handbook of Model Checking | " | 978-3-030-13233-0 | 2019 | Thomas A. Henzinger · Helmut Veith · Roderick Bloem | |
| Handbook of Model Checking | Hardcover | 978-3-319-10574-1 | 2018 | Thomas A. Henzinger · Helmut Veith · Roderick Bloem | |
| Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised ... Notes in Computer Science, Band 6355) | Taschenbuch | 978-3-642-17510-7 | 2011 | Andrei Voronkov | |
| Model Checking | Hardcover | 978-0-262-03270-4 | 2000 | Orna Grumberg · Doron A. Peled |
E C. · E. Clarke · E.M. · E. M. Clarke · Edmund C. · Edmund Clarke · Edmund M. Clarke Jr. · M.C. · M. Clarke