Qizhi Ye

Publication Activity (10 Years)

Years Active: 2005-2006
Publications (10 Years): 0

Publications

Qizhi Ye, Yu Lei, David Chenho Kung
A Blocking-based Approach to Protocol Validation. Comput. J. 49 (5) (2006)
Yu Lei, David Chenho Kung, Qizhi Ye
A Blocking-Based Approach to Protocol Validation. COMPSAC (1) (2005)