Yayun Hu, Dongfang Li. Formal Verification Technology for Asynchronous Communication Protocol. In 19th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2019, Sofia, Bulgaria, July 22-26, 2019. pages 482-486, IEEE, 2019. [doi]
Abstract is missing.