Xiaoguang Han, Pengfei Wang, Zengqiang Chen 0001. Matrix approach to verification and enforcement of nonblockingness for modular discrete-event systems. Science in China Series F: Information Sciences, 63(11), 2020. [doi]
@article{HanWC20,
title = {Matrix approach to verification and enforcement of nonblockingness for modular discrete-event systems},
author = {Xiaoguang Han and Pengfei Wang and Zengqiang Chen 0001},
year = {2020},
doi = {10.1007/s11432-018-9676-7},
url = {https://doi.org/10.1007/s11432-018-9676-7},
researchr = {https://researchr.org/publication/HanWC20},
cites = {0},
citedby = {0},
journal = {Science in China Series F: Information Sciences},
volume = {63},
number = {11},
}