Event-Clock Automata: A Determinizable Class of Timed Automata, (1994)

by R Alur, L Fix, T A Henzinger
Venue:in Proc. of CAV’94, LNCS 818,