Login / Signup
Daoxi Chen
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Network Protocols
Hardware Designs
Smart Grid
Top Venues
计算机科学
</>
Publications
</>
Daoxi Chen
,
Guangquan Zhang
,
Chengkai Xu
,
Guobin Chen
基于抽象和组合方法的网络协议验证 (Verification of Network Protocols Based on Abstraction and Composition).
计算机科学
42 (7) (2015)