Search results for: Xiaoyu Song
2010 Sixth International Conference on Natural Computation > 5 > 2710 - 2714
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2010 > 29 > 10 > 1655 - 1659
IEEE Transactions on Computers > 2010 > 59 > 1 > 116 - 126
2009 Formal Methods in Computer-Aided Design > 116 - 119