@inproceedings{162cbfa705994d46a6e09c8d06a4cc63,
title = "A compositional proof system for real-time systems based on explicit clock temporal logic",
author = "J.J.M. Hooman and R. Kuiper and P. Zhou",
year = "1991",
doi = "10.1109/IWSSD.1991.213070",
language = "English",
isbn = "0-8186-2320-9",
pages = "110--117",
booktitle = "Proceedings Sixth International Workshop on Software Specification and Design (Como, Italy, October 25-26, 1991)",
publisher = "Institute of Electrical and Electronics Engineers",
address = "United States",
}