@inproceedings{ACH+92,
title = {Minimization of timed transition systems (extended abstract) },
author = {Alur, Rajeev and Courcoubetis, Costas and Halbwachs, Nicolas and Dill, David and Wong-Toi, Howard},
month = {jun},
year = {1992},
booktitle = {CONCUR'92},
address = {Stony Brook, NY},
team = {SYNC},
}
