Determinisability of One-Clock Timed Automata.

Lorenzo Clemente, Slawomir Lasota, Radoslaw Pirkowski

Browse the full CONCUR paper archive.