RSL在协议形式化描述中的应用研究
顾翔 邱建林 蒋峥峥
Research of protocol formal description based on RSL
Xiang GU Jianlin Qiu
计算机应用 . 2007, (9): 2236 -2238 .