@inproceedings{BL95a,
title = {Temporal logic + timed automata : expressiveness and decidability },
author = {Bouajjani, Ahmed and Lakhnech, Yassine},
year = {1995},
booktitle = {CONCUR'95: Concurrency Theory},
pages = {531-546},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = {962},
team = {DCS},
}
