TY  - RPRT
TI  - Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification
AU  - Jiří Balun
AU  - Tomáš Masopust
AU  - Petr Osička
PY  - 2023
UR  - https://arxiv.org/abs/2304.09920
ID  - 2304.09920
ER  -