@article{李向丽_2095, author = {[李向丽, 屈智巍, 王晓燕, 王正斌]}, title = {带π演算验证的FMIPv6优化方案}, publisher = {《计算机应用》唯一官方网站}, year = {2012}, journal = {计算机应用}, volume = {32}, number = {08}, eid = {2095}, pages = {2095-2102}, keywords = {信息学习;隧道定时器;绑定代理;π演算}, doi = http://www.joca.cn/CN/10.3724/SP.J.1087.2012.02095 }