Search results for: Ying Qin
Formal Methods in Computer Aided Design > 91 - 99
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2010 > 29 > 8 > 1191 - 1202
Formal Methods in Computer Aided Design > 91 - 99
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2010 > 29 > 8 > 1191 - 1202