On the Power of Non-Observable Actions in Timed Automata.

Batrice Brard, Paul Gastin, Antoine Petit

Browse the full STACS paper archive.