Weihong Li
发表
Malay K. Ganai,
M. Ganai,
Aarti Gupta,
2008
.
Sriram Sankaranarayanan,
Chao Wang,
Weihong Li,
2010,
Formal Methods in Computer Aided Design.
Chao Wang,
Weihong Li,
Malay K. Ganai,
2010,
2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Weihong Li,
Malay K. Ganai,
Weihong Li,
2009,
2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design.