@misc{indiciaede551cf6bca3,
  title = {POLIMON: Checking Temporal Properties over Out-of-order Streams at Runtime},
  author = {Felix Klaedtke},
  year = {2024},
  url = {https://arxiv.org/abs/2404.15723},
  note = {Source identifier: 2404.15723}
}