H
Helmut Veith
7 works on record
Works

Logic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 Proceedings

Computer Aided Verification

Handbook of Model Checking
25 Years of Model Checking
25 Years of Model Checking
2008
Model Checking, Second Edition
Model Checking, Second Edition
1999
Computer Science Logic
Computer Science Logic
Zum Spannungs-Dehnungs-Verhalten von Baustählen bei Wechselbeanspruchung
Zum Spannungs-Dehnungs-Verhalten von Baustählen bei Wechselbeanspruchung