On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata.

Johan Bengtsson, Wang Yi

Browse the full ICFEM paper archive.