http://www.cs.cornell.edu/Info/People/tah/publications.html 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