TY  - RPRT
TI  - Concurrent Hyperproperties
AU  - Bernd Finkbeiner
AU  - Ernst-Rüdiger Olderog
PY  - 2023
UR  - https://arxiv.org/abs/2310.00705
ID  - 2310.00705
ER  -