TY  - RPRT
TI  - New methods for verifying strong periodic detectability and strong periodic D-detectability of discrete-event systems
AU  - Kuize Zhang
PY  - 2021
UR  - https://arxiv.org/abs/2109.08854
ID  - 2109.08854
ER  -