Monitoring of real-time properties
| Title | Monitoring of real-time properties |
| Publication Type | Conference Paper |
| Year of Publication | 2006 |
| Authors | Bauer, A, Leucker, M, Schallhart, C |
| Conference Name | Proceedings of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06) |
| Series | Lecture Notes in Computer Science |
| Volume | 4337 |
| Publisher | Springer-Verlag |
| Conference Location | Kolkata, India |
Bibtex:
@inproceedings {BauerLS06b,
title = {Monitoring of real-time properties},
booktitle = {Proceedings of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS{\textquoteright}06)},
series = {Lecture Notes in Computer Science},
volume = {4337},
year = {2006},
publisher = {Springer-Verlag},
organization = {Springer-Verlag},
address = {Kolkata, India},
author = {Andreas Bauer and Martin Leucker and Christian Schallhart}
}PDF:
Postscript:
