@article{何中阳_77, author = {[何中阳, 李鸥, 杨白薇, 刘洋]}, title = {基于TCPN的TCP协议形式化描述}, publisher = {计算机工程}, year = {2011}, journal = {计算机工程}, volume = {37}, number = {18}, eid = {77}, pages = {77-80}, keywords = {TCP协议;赋时着色Petri网;形式化描述;有界性;活性}, doi = http://www.ecice06.com/CN/10.3969/j.issn.1000-3428.2011.18.026 }