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]
@inproceedings{ChenLZ21-25,
title = {Formalization and Verification of Group Communication CoAP Using CSP},
author = {Sini Chen and Ran Li and Huibiao Zhu},
year = {2021},
doi = {10.1007/978-3-030-96772-7_58},
url = {https://doi.org/10.1007/978-3-030-96772-7_58},
researchr = {https://researchr.org/publication/ChenLZ21-25},
cites = {0},
citedby = {0},
pages = {616-628},
booktitle = {Parallel and Distributed Computing, Applications and Technologies - 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17-19, 2021, Proceedings},
editor = {Hong Shen and Yingpeng Sang and Yong Zhang and Nong Xiao and Hamid R. Arabnia and Geoffrey C. Fox and Ajay Gupta and Manu Malek},
volume = {13148},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-96772-7},
}