计算机工程与科学2004，Vol.26Issue(7)：97-99,104,4.
802.11MAC层切换过程的代数验证
An Algebraic Verification of the 802.11 MAC Layer Handoff Process
胡运安 1夏正友 1杨明1
作者信息
- 1. 复旦大学计算机与信息技术系,上海,200433
- 折叠
摘要
关键词
802.11/无线局域网/进程代数/π演算/切换分类
信息技术与安全科学引用本文复制引用
胡运安,夏正友,杨明..802.11MAC层切换过程的代数验证[J].计算机工程与科学,2004,26(7):97-99,104,4.
