TY  - RPRT
TI  - On Opacity Verification for Discrete-Event Systems
AU  - Jiří Balun
AU  - Tomáš Masopust
PY  - 2019
UR  - https://arxiv.org/abs/1912.07314
ID  - 1912.07314
ER  -