@inproceedings{ACD+92,
title = {An implementation of three algorithms for timing verification based on automata emptiness },
author = {Alur, Rajeev and Courcoubetis, Costas and Dill, David and Halbwachs, Nicolas and Wong-Toi, Howard},
month = {dec},
year = {1992},
booktitle = {13th IEEE Real-Time Systems Symposium},
address = {Phoenix, Az},
team = {SYNC},
}
