Books by Thomas A. Henzinger

Cover of Computational Methods in Systems Biology

Computational Methods in Systems Biology

by Ashutosh Gupta, Thomas A. Henzinger

2013
Cover of Handbook of Model Checking

Handbook of Model Checking

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

2017
Cover of Computer Science Logic

Computer Science Logic

by Jacques Duparc, Thomas A. Henzinger

2007
Cover of Embedded Software

Embedded Software

by Thomas A. Henzinger, Christoph M. Kirsch

2003
Cover of Mathematical and Engineering Methods in Computer Science

Mathematical and Engineering Methods in Computer Science

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

2013

Can't find the book you're looking for? Let us know — it helps us improve.