Qiongzhang Li

Publication Activity (10 Years)

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

Publications

Pei He, Lishan Kang, Qiongzhang Li
Model for Parallel Verification of Programs. SNPD (3) (2007)