Pan Xu 0003 Shaolong Shu Feng Lin 0001 Verification of Delay Co-Observability for Discrete Event Systems. 176-186 2020 7 IEEE Trans. Control. Netw. Syst. 1 https://doi.org/10.1109/TCNS.2019.2913562 db/journals/tcns/tcns7.html#XuSL20