Event-Clock Automata: A Determinizable Class of Timed Automata

Rajeev Alur, Limor Fix, Thomas A. Henzinger. Event-Clock Automata: A Determinizable Class of Timed Automata. Theoretical Computer Science, 211(1-2):253-273, 1999. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: