Expressiveness of updatable timed automata (2000)

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