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.

Formalization and Verification of Group Communication CoAP Using CSP

Sini Chen, Ran Li, Huibiao Zhu. Formalization and Verification of Group Communication CoAP Using CSP. In Hong Shen, Yingpeng Sang, Yong Zhang, Nong Xiao, Hamid R. Arabnia, Geoffrey C. Fox, Ajay Gupta, Manu Malek, editors, Parallel and Distributed Computing, Applications and Technologies - 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17-19, 2021, Proceedings. Volume 13148 of Lecture Notes in Computer Science, pages 616-628, Springer, 2021. [doi]

Authors

Sini Chen

This author has not been identified. Look up 'Sini Chen' in Google

Ran Li

This author has not been identified. Look up 'Ran Li' in Google

Huibiao Zhu

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