Advanced formal verification [electronic resource] /
edited by Rolf Drechsler.
- Boston : Kluwer Academic Publishers, c2004.
- xxv, 249 p. : ill.
Includes bibliographical references and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Electronic circuits--Testing.
Decision trees.
Electronic books.
TK7867 / .A38 2004eb
621.3815/48
Includes bibliographical references and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Electronic circuits--Testing.
Decision trees.
Electronic books.
TK7867 / .A38 2004eb
621.3815/48