Event-Clock Automata: A Determinizable Class of Timed Automata

Authors: Rajeev Alur, Limor Fix, Thomas A. Henzinger - Theoretical Computer Science 1999 cited by 246