Du Yanhua, Ai Lifeng, Liu Chunhuang. Modeling and verification of train safety comprehensive monitoring system using temporal Petri nets. In Xiaohua Hu, Qing Liu, Andrzej Skowron, Tsau Young Lin, Ronald R. Yager, Bo Zhang, editors, 2005 IEEE International Conference on Granular Computing, Beijing, China, July 25-27, 2005. pages 427-430, IEEE, 2005. [doi]
No references recorded for this publication.
No citations of this publication recorded.