Books by Helmut Veith
Handbook of Model Checking
Model Checking, Second Edition
Model Checking, Second Edition
Logic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 Proceedings
Zum Spannungs-Dehnungs-Verhalt
Zum Spannungs-Dehnungs-Verhalten von Baustählen bei Wechselbeanspruchung