Action Transducers and Timed Automata. (1996)

by N Lynch, F Vaandrager
Venue:In Formal Aspects of Computing,