Reducing Clocks in Timed Automata while Preserving Bisimulation.

Shibashis Guha, Chinmay Narayan, S. Arun-Kumar

Browse the full CONCUR paper archive.