Timed Automata (1999)

by R Alur
Venue:in NATO-ASI Summer School on Veri of Digital and Hybrid Systems, 1998 and in 11th International Conference on Computer-Aided Veri LNCS 1633