Helmut Veith
Identifiers
- Open LibraryOL7328736A
Top Subjects
- Models and modelmaking (2)
- Sat (educational test) (2)
- Logic, symbolic and mathematical (1)
Books by Helmut Veith
Total count: 8
-
Zum Spannungs-Dehnungs-Verhalten von Baustählen bei Wechselbeanspruchungs.n.1971-01-01
-
25 Years of Model CheckingHistory, Achievements, PerspectivesSpringer London, Limited2008-01-01
-
Logic for Programming, Artificial Intelligence, and Reasoning15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, ProceedingsSpringer2008-01-01
-
Computer Science Logic24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, ProceedingsSpringer London, Limited2010-01-01
-
Computer Aided Verification25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, ProceedingsSpringer2013-01-01
-
Handbook of Model CheckingSpringer London, Limited2017-01-01
-
Model Checking, Second EditionMIT Press2018-01-01
-
Model CheckingMIT Press2018-01-01