Sciweavers

ATS
2010
IEEE

Mining Complex Boolean Expressions for Sequential Equivalence Checking

13 years 9 months 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)