@misc{indiciae7d73bfe99413,
  title = {Runtime Verification over Out-of-order Streams},
  author = {David Basin and Felix Klaedtke and Eugen Zalinescu},
  year = {2019},
  doi = {10.1145/3355609},
  url = {https://arxiv.org/abs/1909.11593},
  note = {Source identifier: 1909.11593}
}