Minimization of Timed Transition Systems.

Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi

Browse the full CONCUR paper archive.