Search results
2011 24th Internatioal Conference on VLSI Design > 352 - 357
2009 Formal Methods in Computer-Aided Design > 144 - 151
2009 46th ACM/IEEE Design Automation Conference > 631 - 634
2011 24th Internatioal Conference on VLSI Design > 352 - 357
2009 Formal Methods in Computer-Aided Design > 144 - 151
2009 46th ACM/IEEE Design Automation Conference > 631 - 634