On Interleaving in Timed Automata.

Ramzi Ben Salah, Marius Bozga, Oded Maler

Browse the full CONCUR paper archive.