Thomas Møller Grosen, Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann 0002. Monitoring Timed Properties (Revisited). In Sergiy Bogomolov, David Parker 0001, editors, Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings. Volume 13465 of Lecture Notes in Computer Science, pages 43-62, Springer, 2022. [doi]
@inproceedings{GrosenKLZ22,
title = {Monitoring Timed Properties (Revisited)},
author = {Thomas Møller Grosen and Sean Kauffman and Kim Guldstrand Larsen and Martin Zimmermann 0002},
year = {2022},
doi = {10.1007/978-3-031-15839-1_3},
url = {https://doi.org/10.1007/978-3-031-15839-1_3},
researchr = {https://researchr.org/publication/GrosenKLZ22},
cites = {0},
citedby = {0},
pages = {43-62},
booktitle = {Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings},
editor = {Sergiy Bogomolov and David Parker 0001},
volume = {13465},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-15839-1},
}