TY  - RPRT
TI  - Canonical Representations of k-Safety Hyperproperties
AU  - Bernd Finkbeiner
AU  - Lennart Haas
AU  - Hazem Torfah
PY  - 2020
DO  - 10.1109/csf.2019.00009
UR  - https://arxiv.org/abs/2012.14586
ID  - 2012.14586
ER  -