TY  - RPRT
TI  - A Temporal Logic for Asynchronous Hyperproperties
AU  - Jan Baumeister
AU  - Norine Coenen
AU  - Borzoo Bonakdarpour
AU  - Bernd Finkbeiner
AU  - Cesar Sanchez
PY  - 2021
UR  - https://arxiv.org/abs/2104.14025
ID  - 2104.14025
ER  -