Yuan-fei, Huibiao Zhu, Xin Li. Modeling and Verification of NLSR Protocol using UPPAAL. In Jun Pang, Chenyi Zhang, Jifeng He, Jian Weng, editors, 2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018. pages 108-115, IEEE, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.