Author

Helmut Veith

8 books found

Cover of Model Checking, Second Edition

Model Checking, Second Edition

Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke · First published 2018

Cover of Handbook of Model Checking

Handbook of Model Checking

Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem · First published 2017

Cover of Computer Aided Verification

Computer Aided Verification

Natasha Sharygina, Helmut Veith · First published 2013

Cover of Computer Science Logic

Computer Science Logic

Anuj Dawar, Helmut Veith · First published 2010

Cover of 25 Years of Model Checking

25 Years of Model Checking

Orna Grumberg,Helmut Veith · First published 2008

Cover of 25 Years of Model Checking

25 Years of Model Checking

Orna Grumberg, Helmut Veith · First published 2008

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

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

Helmut Veith · First published 2008

Placeholder cover for Zum Spannungs-Dehnungs-Verhalten von Baustählen bei Wechselbeanspruchung

Zum Spannungs-Dehnungs-Verhalten von Baustählen bei Wechselbeanspruchung

Helmut Veith · First published 1971