TY  - RPRT
TI  - Local Opacity Verification for Distributed Discrete Event Systems
AU  - Sasinee Pruekprasert
AU  - Kai Cai
PY  - 2021
UR  - https://arxiv.org/abs/2112.10416
ID  - 2112.10416
ER  -