Thomas A. Henzinger

Handbook of Model Checking

2018 · ENGLISH · PDF

View details →

Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

2013 · ENGLISH · PDF

View details →

Hybrid Systems III: Verification and Control

1996 · ENGLISH · PDF

View details →

Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

2006 · ENGLISH · PDF

View details →

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

2006 · ENGLISH · PDF

View details →

Embedded Software: First International Workshop, EMSOFT 2001 Tahoe City, CA, USA, October 8–10, 2001 Proceedings

2001 · ENGLISH · PDF

View details →

Hybrid Systems: Computation and Control: First International Workshop, HSCC'98 Berkeley, California, USA, April 13 – 15, 1998 Proceedings

1998 · ENGLISH · DJVU

View details →

Hybrid Systems III: Verification and Control

1996 · ENGLISH · DJVU

View details →

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

2007 · ENGLISH · PDF

View details →