Thomas A. Henzinger books & textbook
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
Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings (Lecture Notes in Computer Science, 8130)
Gupta, Ashutosh Henzinger, Thomas A.
Springer /2013-08-19 Paperback / 304 Pages
isbn-10: 3642407072 / isbn-13: 9783642407079
Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, ... Papers (Programming and Software Engineering)
Kucera, Antonin Henzinger, Thomas A. Nešetřil, Jaroslav Vojnar, Tomas Antos, David
Springer /2013-01-09 Paperback / 228 Pages
isbn-10: 3642360440 / isbn-13: 9783642360442
Algorithms and Tools for the Automatic Analysis of Embedded Systems
PN /1998T Paperback
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings (Lecture Notes in Computer Science, 6246)
Chatterjee, Krishnendu Henzinger, Thomas A.
Springer /2010-08-30 Paperback / 267 Pages
isbn-10: 3642152961 / isbn-13: 9783642152962
Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings (Lecture Notes in Computer Science, 4646)
Duparc, Jacques Henzinger, Thomas A.
Springer /2007-08-30 Paperback / 614 Pages
isbn-10: 3540749144 / isbn-13: 9783540749141
Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings (Lecture Notes in Computer Science, 1386)
Henzinger, Thomas A. Sastry, Shankar
Springer /1998-03-25 Paperback / 425 Pages
isbn-10: 3540643583 / isbn-13: 9783540643586
Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Lecture Notes in Computer Science, 1102)
Henzinger, Thomas Alur, Rajeev
New York, NY, U.S.A. Springer-Verlag New York, Incorporated . /1996T Paperback / 492 Pages
isbn-10: 3540614745 / isbn-13: 9783540614746
