Helmut Veith

Handbook of Model Checking

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-Verhalten von Baustählen bei Wechselbeanspruchung