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]
No reviews for this publication, yet.