M. Ganai
发表
M. Ganai,
Aarti Gupta,
P. Ashar,
2004,
ICCAD 2004.
Malay K. Ganai,
M. Ganai,
A. Kuehlmann,
1999,
Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361).
Malay K. Ganai,
M. Ganai,
2014
.
Sriram Sankaranarayanan,
Edmund M. Clarke,
Sicun Gao,
2010,
Formal Methods in Computer Aided Design.
Malay K. Ganai,
M. Ganai,
Aarti Gupta,
2004
.
Sriram Sankaranarayanan,
Aarti Gupta,
Malay K. Ganai,
2009
.
Sicun Gao,
M. Ganai,
Aarti Gupta,
2010
.
Malay K. Ganai,
M. Ganai,
Aarti Gupta,
2008
.