Expressiveness of Updatable Timed Automata.

Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit

Browse the full MFCS paper archive.