TY  - JOUR

T1  - Conformance relations and hyperproperties for doping detection in time and space

JO  - Logical Methods in Computer Science

PY  - 2022/01/19

AU  - Biewer S

AU  - Dimitrova R

AU  - Fries M

AU  - Gazda M

AU  - Heinze T

AU  - Hermanns H

AU  - Mousavi MR

ED  - 

DO  - DOI: 10.46298/lmcs-18(1:14)2022

PB  - Centre pour la Communication Scientifique Directe (CCSD)

VL  - 18

IS  - 1

Y2  - 2024/09/19

ER  -