1
Logic synthesis and verification algorithms

Cover is for reference only
Main Authors: Hachtel Gary D
Group Author: Somenzi Fabio
Published: Kluwer Academic Publishers,
Publication Dates: c1996.
Call Number: TP301.6-43/H117/
Book
Save to List
Saved in:
2
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:
4
Abstraction refinement for large scale model checking

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