STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Gary D. Hachtel | lit.salon
Gary D. Hachtel
No bio available.
Add one in Open Library.
Books by Gary D. Hachtel (50 max)
+ shelf
+ list
Logic synthesis and verification algorithms
1996
Gary D. Hachtel
+ shelf
+ list
Logic Synthesis and Verification Algorithms
2006
Gary D. Hachtel, Fabio Somenzi
+ shelf
+ list
Abstraction Refinement for Large Scale Model Checking
2006
Chao Wang, Gary D. Hachtel, Fabio Somenzi
