A Kleene Theorem for Timed Automata.

Eugene Asarin, Paul Caspi, Oded Maler

Browse the full LICS paper archive.