DMCA

Action Transducers and Timed Automata (1996)

by Nancy Lynch , Frits Vandrager
Venue:Formal Aspects of Computing
Citations:38 - 14 self