M: Time constrained automata (0)

by M Merritt, F Modugno, Tuttle
Venue:In: Baeten JCM, Groote JF (eds) Proc CONCUR 91. Amsterdam, Lect Notes Comput Sci vol 527