@inproceedings{936d6c74f26a4175a5a07425510472c7,
title = "CellScope: Automatically Specifying and Verifying Cellular Network Protocols",
keywords = "Cellular network, Model checking, Protocol specification and verification",
author = "Yinbo Yu and You Li and Kaiyu Hou and Yan Chen and Hai Zhou and Jianfeng Yang",
year = "2019",
month = aug,
day = "19",
doi = "10.1145/3342280.3342294",
language = "English (US)",
series = "SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019",
publisher = "Association for Computing Machinery, Inc",
pages = "21--23",
booktitle = "SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019",
note = "2019 ACM SIGCOMM Conference Posters and Demos, SIGCOMM 2019 ; Conference date: 19-08-2019 Through 23-08-2019",
}