Hongyan Mao, Ningkang Jiang, Qin Li, Huibiao Zhu. Formal Approaches to SMS Service Based on Pi Calculus. In Fourth International Conference on Frontier of Computer Science and Technology, FCST 2009, Shanghai, China, 17-19 December, 2009. pages 692-697, IEEE Computer Society, 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.