@misc{indiciae80e94e9c80c9,
  title = {Type-safe Monitoring of Parameterized Streams},
  author = {Jan Baumeister and Bernd Finkbeiner and Florian Kohn},
  year = {2026},
  url = {https://arxiv.org/abs/2603.11104},
  note = {Source identifier: 2603.11104}
}