Search results
IEEE Micro > 2012 > 32 > 1 > 54 - 65
Formal Methods in Computer Aided Design > 247 - 255
IEEE Transactions on Computers > 2009 > 58 > 7 > 931 - 944
IEEE Communications Magazine > 2009 > 47 > 3 > 158 - 165
IEEE Micro > 2012 > 32 > 1 > 54 - 65
Formal Methods in Computer Aided Design > 247 - 255
IEEE Transactions on Computers > 2009 > 58 > 7 > 931 - 944
IEEE Communications Magazine > 2009 > 47 > 3 > 158 - 165