TY  - RPRT
TI  - On Verification of D-Detectability for Discrete Event Systems
AU  - Jiří Balun
AU  - Tomáš Masopust
PY  - 2020
UR  - https://arxiv.org/abs/1912.07312
ID  - 1912.07312
ER  -