Search results
2010 Proceedings IEEE INFOCOM > 1 - 9
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2010 > 29 > 4 > 566 - 579
2009 Formal Methods in Computer-Aided Design > 136 - 143
IEEE Communications Magazine > 2009 > 47 > 3 > 120 - 127