Network Data Collection Formal Analysis Based on Communication Sequential Process.

Tie Bao, Shufen Liu, Feng Yan, Yaorui Wu, Xiaochun Li, Zhanguo Zhang, Shuying Zhang

Browse the full CSCWD paper archive.