AboutSign inJoin

Thomas A. Henzinger

About

Some information is missing for this author.

Books

Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
Thomas A. Henzinger, Krishnendu Chatterjee
Embedded Software
Embedded Software
Thomas A. Henzinger, Christoph M. Kirsch
Handbook of Model Checking
Handbook of Model Checking
Thomas A. Henzinger, Edmund M. Clarke, Helmut Veith, Roderick Bloem
Thomas A. Henzinger, Christoph M. Kirsch
Embedded Software
First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings
Embedded Software
Thomas A. Henzinger, Christoph M. Kirsch

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian