MIME-Version: 1.0 Server: CERN/3.0 Date: Sunday, 24-Nov-96 21:26:23 GMT Content-Type: text/html Content-Length: 13407 Last-Modified: Wednesday, 13-Dec-95 02:42:30 GMT Tom Henzinger: Publications

List of Publications

Thomas A. Henzinger

Reactive Modules

Real-time Logics and Timed Transition Systems

Clock Systems and Timed Automata

Hybrid Automata

Last updated on September 1, 1995.
tah@cs.cornell.edu