TY  - RPRT
TI  - Temporal Logics for Hyperproperties
AU  - Michael R. Clarkson
AU  - Bernd Finkbeiner
AU  - Masoud Koleini
AU  - Kristopher K. Micinski
AU  - Markus N. Rabe
AU  - César Sánchez
PY  - 2014
UR  - https://arxiv.org/abs/1401.4492
ID  - 1401.4492
ER  -