Andreas Bauer 0002, Martin Leucker, Christian Schallhart. Monitoring of Real-Time Properties. In S. Arun-Kumar, Naveen Garg, editors, FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings. Volume 4337 of Lecture Notes in Computer Science, pages 260-272, Springer, 2006. [doi]
@inproceedings{BauerLS06,
title = {Monitoring of Real-Time Properties},
author = {Andreas Bauer 0002 and Martin Leucker and Christian Schallhart},
year = {2006},
doi = {10.1007/11944836_25},
url = {http://dx.doi.org/10.1007/11944836_25},
researchr = {https://researchr.org/publication/BauerLS06},
cites = {0},
citedby = {0},
pages = {260-272},
booktitle = {FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings},
editor = {S. Arun-Kumar and Naveen Garg},
volume = {4337},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-49994-6},
}