@misc{indiciae5a2f61704c01,
  title = {A Tutorial on Stream-based Monitoring},
  author = {Jan Baumeister and Bernd Finkbeiner and Florian Kohn and Frederik Scheerer},
  year = {2025},
  doi = {10.1007/978-3-031-71177-0},
  url = {https://arxiv.org/abs/2501.15913},
  note = {Source identifier: 2501.15913}
}