Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)

Refinement

by: Chao Wang · Gary D. Hachtel · Fabio Somenzi

Hardcover

ISBN: 978-0-387-34155-2

ISBN-10: 0-387-34155-2

Springer · 2006