Veith, Helmut books & textbook
Model Checking, second edition (Cyber Physical Systems Series)
Clarke Jr., Edmund M. Grumberg, Orna Kroening, Daniel Peled, Doron Veith, Helmut
The MIT Press /2018-12-04 Hardcover / 424 Pages
isbn-10: 0262038838 / isbn-13: 9780262038836
Handbook of Model Checking
Clarke, Edmund M. Henzinger, Thomas A. Veith, Helmut Bloem, Roderick
Springer /2018-06-08 Hardcover / 1260 Pages
isbn-10: 3319105744 / isbn-13: 9783319105741
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings (Lecture Notes in Computer Science, 5330)
Cervesato, Iliano Veith, Helmut Voronkov, Andrei
Springer /2008-11-13 Paperback / 728 Pages
isbn-10: 3540894381 / isbn-13: 9783540894384
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings (Lecture Notes in Computer Science, 8044)
Sharygina, Natasha Veith, Helmut
Springer /2013-07-14 Paperback / 1037 Pages
isbn-10: 3642397980 / isbn-13: 9783642397981
25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science, 5000)
Springer /2008-06-17 Paperback / 241 Pages
isbn-10: 3540698493 / isbn-13: 9783540698494
Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings (Lecture Notes in Computer Science, 6247)
Springer /2010-08-11 Paperback / 562 Pages
isbn-10: 364215204X / isbn-13: 9783642152047
