Hide/Show Apps

Clock Reduction in Timed Automata While Preserving Design Parameters