TY  - CONF

T1  - Team semantics for the specification and verification of hyperproperties

JO  - Leibniz International Proceedings in Informatics, LIPIcs

PY  - 2018/08/01

AU  - Krebs A

AU  - Meier A

AU  - Virtema J

AU  - Zimmermann M

ED  - 

DO  - DOI: 10.4230/LIPIcs.MFCS.2018.10

SN  - 9783959770866

VL  - 117

Y2  - 2024/12/22

ER  -