Search results for: F. Somenzi
2009 46th ACM/IEEE Design Automation Conference > 569 - 574
2007 44th ACM/IEEE Design Automation Conference > 582 - 587
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2006 > 25 > 11 > 2297 - 2316
Formal Methods in System Design > 1997 > 10 > 2-3 > 207-219
Formal Methods in System Design > 1997 > 10 > 2-3 > 171-206
Formal Methods in System Design > 1997 > 10 > 2-3 > 221-242