Expressiveness of updatable timed automata (2000)

by Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit
Venue:In Proc. 25th International Symposium on Mathematical Foundations of Computer Science (MFCS’2000), volume 1893 of Lecture Notes in Computer Science