@inproceedings{1cee1b911a694df392030316ca1fce00,
title = "Reasoning aubout durations in metric logic",
author = "Y. Lakhneche and J.J.M. Hooman",
year = "1994",
doi = "10.1007/3-540-58468-4_180",
language = "English",
isbn = "3-540-58468-4",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "488--510",
editor = "H. Langmaack and {Roever, de}, W.P. and J. Vytopil",
booktitle = "Formal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 3rd International Symposium, L{\"u}beck, Germany, September 19-23, 1994)",
address = "Germany",
}