TY  - RPRT
TI  - A Tutorial on Stream-based Monitoring
AU  - Jan Baumeister
AU  - Bernd Finkbeiner
AU  - Florian Kohn
AU  - Frederik Scheerer
PY  - 2025
DO  - 10.1007/978-3-031-71177-0
UR  - https://arxiv.org/abs/2501.15913
ID  - 2501.15913
ER  -