| Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Notes in Computer Science , Band 8559) | Taschenbuch | 978-3-319-08866-2 | 2014 | Armin Biere |
| Handbook of Model Checking | " | 978-3-030-13233-0 | 2019 | Edmund M. Clarke · Thomas A. Henzinger · Helmut Veith |
| Handbook of Model Checking | Hardcover | 978-3-319-10574-1 | 2018 | Edmund M. Clarke · Thomas A. Henzinger · Helmut Veith |
| Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, ... Notes in Computer Science, Band 10028) | Taschenbuch | 978-3-319-49051-9 | 2016 | Eli Arbel |
| Trusted Systems: 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings | " | 978-3-319-03490-4 | 2013 | Peter Lipp |