Decidability and Complexity Results for Timed Automata via Channel Machines.

Parosh Aziz Abdulla, Johann Deneux, Jol Ouaknine, James Worrell

Browse the full ICALP paper archive.