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 · Gary D. Hachtel | |
Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings | Taschenbuch | 978-3-540-40524-5 | 2008 | Jr. Hunt | |
Logic Synthesis and Verification Algorithms | Paperback | 978-0-387-31004-6 | 2006 | Gary D. Hachtel | |
Logic Synthesis and Verification Algorithms | Hardcover | 978-0-7923-9746-5 | 1996 | " |