Wyniki wyszukiwania dla: Xiaoyu Song
IEEE Transactions on Industrial Electronics > 2017 > 64 > 4 > 3239 - 3249
IEEE Transactions on Computers > 2010 > 59 > 1 > 116 - 126
2009 Formal Methods in Computer-Aided Design > 116 - 119
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2006 > 25 > 9 > 1652 - 1663