Thomas A. Henzinger

No bio available. Add one in Open Library.

Books by Thomas A. Henzinger (50 max)

+ shelf+ list

Computational Methods in Systems Biology 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings

2013

Ashutosh Gupta, Thomas A. Henzinger

+ shelf+ list

Handbook of Model Checking

2017

Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem

+ shelf+ list

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

2010

Krishnendu Chatterjee, Thomas A. Henzinger

+ shelf+ list

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

2003

Thomas A. Henzinger, Christoph M. Kirsch

+ shelf+ list

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

2007

Jacques Duparc, Thomas A. Henzinger

+ shelf+ list

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

2013

Antonin Kucera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomas Vojnar, David Antos