Wow! eBookAbstraction Refinement for Large Scale Model Checking (Serie
AuthorChao Wang, Gary D. Hachtel, Fabio Somenzi
Print length: 186
Publication date: 2006-07-20
ISBN-10: 0387341552
ISBN-13: 9780387341552
Abstraction Refinement for Large Scale Model Checking (Serie
