Handbook of Model CheckingEdmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem · First published 2017Open the Tome
Computational Methods in Systems BiologyAshutosh Gupta, Thomas A. Henzinger · First published 2013Open the Tome
Mathematical and Engineering Methods in Computer ScienceAntonin Kucera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomas Vojnar, David Antos · First published 2013Open the Tome
Formal Modeling and Analysis of Timed SystemsKrishnendu Chatterjee, Thomas A. Henzinger · First published 2010Open the Tome
