Analyzing Timed Systems Using Tree Automata.

S. Akshay, Paul Gastin, Shankara Narayanan Krishna

Browse the full CONCUR paper archive.