D,. H.. · G D · G. D. Hachtel · G Hachtel
| title | media type | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Abstraction Refinement for Large Scale Model Checking | Hardcover | 978-0-387-34155-2 | 2006 | Chao Wang · Fabio Somenzi |
| Logic Synthesis and Verification Algorithms | Paperback | 978-0-387-31004-6 | 2006 | |
| Logic Synthesis and Verification Algorithms | " | 978-81-8128-483-9 | 2006 | |
| Logic Synthesis and Verification Algorithms | Hardcover | 978-0-7923-9746-5 | 1996 | Fabio Somenzi |