Daoxi Chen

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 0

Top Topics

Network Protocols

Hardware Designs

Top Venues

计算机科学

Publications

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