Search results for: Jianmin Zhang
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2012 > 31 > 8 > 1288 - 1292
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2011 > 30 > 10 > 1556 - 1563
Formal Methods in Computer Aided Design > 91 - 99