T.A. Henzinger
3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Event-clock automata: a determinizable class of timed automata
R. Alur and others (1999) · Elsevier BV
It's about time: Real-time logics reviewed
T.A. Henzinger (1998) · Springer Berlin Heidelberg
Back to the future: towards a theory of timed regular languages
R. Alur and others (1992) · IEEE