Helmut Veith

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