Expressiveness of updatable timed automata (2000)

by Patricia Bouyer , Catherine Dufourd , Emmanuel Fleury , Antoine Petit
Venue:Theoretical Computer Science
Citations:30 - 11 self