Yinbo Yu, You Li, Kaiyu Hou, Yan Chen, Hai Zhou, Jianfeng Yang. CellScope: Automatically Specifying and Verifying Cellular Network Protocols. In Proceedings of the ACM SIGCOMM 2019 Conference Posters and Demos, SIGCOMM 2019, Beijing, China, August 19-23, 2019. pages 21-23, ACM, 2019. [doi]
Abstract is missing.