Search results for: Fei He
IEEE Transactions on Computers > 2010 > 59 > 1 > 116 - 126
2009 Formal Methods in Computer-Aided Design > 116 - 119
IEEE Transactions on Computers > 2010 > 59 > 1 > 116 - 126
2009 Formal Methods in Computer-Aided Design > 116 - 119