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