@inproceedings{BLY96a,
title = {Model Checking for Extended Timed Temporal Logics },
author = {Bouajjani, Ahmed and Lakhnech, Yassine and Yovine, Sergio},
year = {1996},
booktitle = {4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems FTRTFT'96},
pages = {306-326},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = {1135},
team = {DCS},
}
