Helmut Veith
Books
- Model Checking, Second Edition
- 25 Years of Model Checking
- Zum Spannungs-Dehnungs-Verhalten von Baustählen bei Wechselbeanspruchung
- Computer Aided Verification
- Computer Science Logic
- Logic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 Proceedings
- Handbook of Model Checking
Author data: Open Library