@article{顾翔_2236, author = {[顾翔, 蒋峥峥, 邱建林]}, title = {RSL在协议形式化描述中的应用研究}, publisher = {《计算机应用》唯一官方网站}, year = {2007}, journal = {计算机应用}, volume = {27}, number = {9}, eid = {2236}, pages = {2236-2238}, keywords = {协议,形式化描述,RSL}, url = http://www.joca.cn/CN/abstract/article_9169.shtml }