Clock reduction in timed automata while preserving design parameters.

Beyazit Yalcinkaya, Ebru Aydin Gol

Browse the full ICSE paper archive.