Chengkai Xu
According to our database1,
Chengkai Xu
authored at least 3 papers
between 2013 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
基于抽象和组合方法的网络协议验证 (Verification of Network Protocols Based on Abstraction and Composition).
计算机科学, 2015
2014
J. Comput., 2014
2013
J. Softw., 2013