NobleBlocks
Public

CellScope

Published • Aug 14, 2019
NobleIDNI2P13W36R67S22
Authors:
Yinbo Yu
,
You Li
,
Kaiyu Hou

Abstract

short-paper Share on CellScope: Automatically Specifying and Verifying Cellular Network Protocols Authors: Yinbo Yu School of Electronic Information, Wuhan University, China and Department of Computer Science, Northwestern University, USA School of Electronic Information, Wuhan University, China and...

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!