Thomas A. Henzinger

Identifiers

Open LibraryOL7916675A

Top Subjects

Computer software, development (1)
Logic, symbolic and mathematical (1)

Books by Thomas A. Henzinger

Total count: 5

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

Springer London, Limited2003-01-01
Formal Modeling and Analysis of Timed Systems8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

Springer London, Limited2010-01-01
Computational Methods in Systems Biology11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings

Springer2013-01-01
Mathematical and Engineering Methods in Computer Science8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, ...

Springer2013-01-09
Handbook of Model Checking

Springer London, Limited2017-01-01