TY  - RPRT
TI  - Verification of C-detectability Using Petri Nets
AU  - Hao Lan
AU  - Yin Tong
AU  - Jin Guo
AU  - Carla Seatzu
PY  - 2019
DO  - 10.1016/j.ins.2020.04.024
UR  - https://arxiv.org/abs/1903.07827
ID  - 1903.07827
ER  -