TY  - RPRT
TI  - Conformance Relations and Hyperproperties for Doping Detection in Time and Space
AU  - Sebastian Biewer
AU  - Rayna Dimitrova
AU  - Michael Fries
AU  - Maciej Gazda
AU  - Thomas Heinze
AU  - Holger Hermanns
AU  - Mohammad Reza Mousavi
PY  - 2022
DO  - 10.46298/lmcs-18(1:14)2022
UR  - https://arxiv.org/abs/2012.03910
ID  - 2012.03910
ER  -