@article{article, title  = {{Conformance relations and hyperproperties for doping detection in time and space}},

 publisher = {{Centre pour la Communication Scientifique Directe (CCSD)}},

 url = {{}},

 year = {{2022}},

 month = {{1}},

 author = {{Biewer S and Dimitrova R and Fries M and Gazda M and Heinze T and Hermanns H and Mousavi MR}},

 doi = {{10.46298/lmcs-18(1:14)2022}},

 volume = {{18}},

 journal = {{Logical Methods in Computer Science}},

 issue = {{1}},

 note = {{Accessed on 2024/09/19}}}