基于抽象和组合方法的网络协议验证 (Verification of Network Protocols Based on Abstraction and Composition). - Daoxi Chen; Guangquan Zhang 002; Chengkai Xu; Guobin Chen (计算机科学, 2015)