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]

Abstract

Abstract is missing.