@misc{indiciae483ea30072b3,
  title = {Conformance Relations and Hyperproperties for Doping Detection in Time and Space},
  author = {Sebastian Biewer and Rayna Dimitrova and Michael Fries and Maciej Gazda and Thomas Heinze and Holger Hermanns and Mohammad Reza Mousavi},
  year = {2022},
  doi = {10.46298/lmcs-18(1:14)2022},
  url = {https://arxiv.org/abs/2012.03910},
  note = {Source identifier: 2012.03910}
}