@inproceedings{LH94,
title = {Reasoning about durations in metric temporal logic },
author = {Lakhnech, Yassine and Hooman, Jozef},
year = {1994},
booktitle = {Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems},
pages = {488--510},
publisher = {Springer-Verlag},
series = {LNCS},
volume = {863},
team = {DCS},
}
