Timed Automata and the Theory of Real Numbers.

Hubert Comon, Yan Jurski

Browse the full CONCUR paper archive.