Daoxi Chen

According to our database, Daoxi Chen authored at least 1 paper in 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

基于抽象和组合方法的网络协议验证 (Verification of Network Protocols Based on Abstraction and Composition).

Daoxi Chen, Guangquan Zhang, Chengkai Xu, Guobin Chen

计算机科学, 2015