External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Modeling and Verification of NLSR Protocol using UPPAAL

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]

Authors

Yuan-fei

This author has not been identified. Look up 'Yuan-fei' in Google

Huibiao Zhu

This author has not been identified. Look up 'Huibiao Zhu' in Google

Xin Li

This author has not been identified. Look up 'Xin Li' in Google
runs on