Towards an Efficient Tree Automata Based Technique for Timed Systems.

S. Akshay, Paul Gastin, Shankara Narayanan Krishna, Ilias Sarkar

Browse the full CONCUR paper archive.