Thomas A. Henzinger

Thomas A. Henzinger

Thomas A. Henzinger has written at least 2 books. Their most popular book is Hybrid Systems III with 0 saves with an average rating of -⭐.

Details
Rating
Readers Count
Controls
Cover 5

Hybrid Systems III

Hybrid Systems III
  • Rajeev Alur
  • Thomas A. Henzinger
  • Eduardo D. Sontag
00 reads
Handbook of Model Checking
Handbook of Model Checking
  • Edmund M. Clarke
  • Thomas A. Henzinger
  • Helmut Veith
  • Roderick Bloem
00 reads