Reset Filters
Filter Related Topics: Data processing
Filter Related Topics within your search.
1
Abstraction refinement for large scale model checking

Cover is for reference only
Main Authors: Wang Chao
Group Author: Hachtel Gary D; Somenzi Fabio
Published: Springer,
Publication Dates: c2006.
Call Number: TN47/W246
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —