DMCA

Expressiveness of updatable timed automata (2000)

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