TY  - RPRT
TI  - A Temporal Logic for Hyperproperties
AU  - Bernd Finkbeiner
AU  - Markus N. Rabe
AU  - César Sánchez
PY  - 2013
UR  - https://arxiv.org/abs/1306.6657
ID  - 1306.6657
ER  -