Sciweavers

ATS
2010
IEEE

Mining Complex Boolean Expressions for Sequential Equivalence Checking

14 years 15 days ago
Mining Complex Boolean Expressions for Sequential Equivalence Checking
Neha Goel, Michael S. Hsiao, Naren Ramakrishnan, M
Added 10 Feb 2011
Updated 10 Feb 2011
Type Journal
Year 2010
Where ATS
Authors Neha Goel, Michael S. Hsiao, Naren Ramakrishnan, Mohammed J. Zaki
Comments (0)