Expressiveness of updatable timed automata (2000)

by P Bouyer, C Dufourd, E Fleury, A Petit
Venue:In Proc. 25th Int. Symp. on Mathematical Foundations of Computer Science (MFCS’2000