TY  - RPRT
TI  - Model Checking Time Window Temporal Logic for Hyperproperties
AU  - Ernest Bonnah
AU  - Luan Viet Nguyen
AU  - Khaza Anuarul Hoque
PY  - 2023
DO  - 10.1145/3610579.3611077
UR  - https://arxiv.org/abs/2308.02554
ID  - 2308.02554
ER  -