Reachability in Timed Automata with Diagonal Constraints.

Paul Gastin, Sayan Mukherjee, B. Srivathsan

Browse the full CONCUR paper archive.