Thomas A. Henzinger - Böcker

Handbook of Model Checking

Embedded Software

First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings

Hybrid Systems III

Verification and Control

Hybrid Systems: Computation and Control

First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings

Computer Science Logic

21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

Formal Modeling and Analysis of Timed Systems

8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

Mathematical and Engineering Methods in Computer Science

8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers