D.L.: Automata For Modeling Real-Time Systems (1990)

by R Alur, Dill
Venue:LNCS