Time constrained automata (1991)

by Michael Merritt, Francesmary Modugno, Mark Tuttle
Venue:2nd International Conference on Concurrency Theory