SAT-Based Scalable Formal Verification Solutions - bib.howest.be

SAT-Based Scalable Formal Verification Solutions

Format:: e-book
Title:: SAT-Based Scalable Formal Verification Solutions
Author:: Ganai, Malay; Chandrakasan, Anantha; Ganai, Malay K.; Gupta, Aarti
Language:: English
Publisher:: Springer US 2007
ISBN:: 0-387-69166-9
1-4419-4341-2
9786610901852
1-280-90185-3
0-387-69167-7
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000284143?locale=en