| Original language | English (US) |
|---|---|
| Title of host publication | 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 |
| Number of pages | 3 |
| ISBN (Electronic) | 9781450368865 |
| DOIs | |
| State | Published - Aug 19 2019 |
| Event | 2019 ACM SIGCOMM Conference Posters and Demos, SIGCOMM 2019 - Beijing, China Duration: Aug 19 2019 → Aug 23 2019 |
Publication series
| Name | SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019 |
|---|
Conference
| Conference | 2019 ACM SIGCOMM Conference Posters and Demos, SIGCOMM 2019 |
|---|---|
| Country | China |
| City | Beijing |
| Period | 8/19/19 → 8/23/19 |
Fingerprint
Keywords
- Cellular network
- Model checking
- Protocol specification and verification
ASJC Scopus subject areas
- Software
- Hardware and Architecture
Cite this
}
CellScope : Automatically Specifying and Verifying Cellular Network Protocols. / Yu, Yinbo; Li, You; Hou, Kaiyu; Chen, Yan; Zhou, Hai; Yang, Jianfeng.
SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019. Association for Computing Machinery, Inc, 2019. p. 21-23 (SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
TY - GEN
T1 - CellScope
T2 - Automatically Specifying and Verifying Cellular Network Protocols
AU - Yu, Yinbo
AU - Li, You
AU - Hou, Kaiyu
AU - Chen, Yan
AU - Zhou, Hai
AU - Yang, Jianfeng
PY - 2019/8/19
Y1 - 2019/8/19
KW - Cellular network
KW - Model checking
KW - Protocol specification and verification
UR - http://www.scopus.com/inward/record.url?scp=85071931620&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85071931620&partnerID=8YFLogxK
U2 - 10.1145/3342280.3342294
DO - 10.1145/3342280.3342294
M3 - Conference contribution
AN - SCOPUS:85071931620
T3 - SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019
SP - 21
EP - 23
BT - SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019
PB - Association for Computing Machinery, Inc
ER -