Sini Chen, Ran Li, Huibiao Zhu. Formalization and Verification of Enhanced Group Communication CoAP. International Journal of Software Engineering and Knowledge Engineering, 34(2):301-330, February 2024. [doi]
No references recorded for this publication.
No citations of this publication recorded.