TY  - RPRT
TI  - On Verifying Timed Hyperproperties
AU  - Hsi-Ming Ho
AU  - Ruoyu Zhou
AU  - Timothy M. Jones
PY  - 2018
UR  - https://arxiv.org/abs/1812.10005
ID  - 1812.10005
ER  -