Removing epsilon-Transitions in Timed Automata.

Volker Diekert, Paul Gastin, Antoine Petit

Browse the full STACS paper archive.