Search results
CICED 2010 Proceedings > 1 - 6
2009 Formal Methods in Computer-Aided Design > 184 - 187
IEEE Transactions on Parallel and Distributed Systems > 2009 > 20 > 4 > 484 - 497
IET Computers & Digital Techniques > 2008 > 2 > 1 > 63 - 73
2008 45th ACM/IEEE Design Automation Conference > 702 - 707