Tie Bao, Shufen Liu, Feng Yan, Yaorui Wu, Xiaochun Li, Zhanguo Zhang, Shuying Zhang. Network Data Collection Formal Analysis Based on Communication Sequential Process. In Weiming Shen, Yun Yang, Jianming Yong, Igor Hawryszkiewycz, Zongkai Lin, Jean-Paul A. Barthès, Mary Lou Maher, Qi Hao, Minh Hong Tran, editors, Proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2007, April 26-28, 2007, Melbourne, Australia. pages 42-46, IEEE, 2007. [doi]
Abstract is missing.