Advanced formal verification
By: edited by Rolf Drechsler.
Contributors: Drechsler, Rolf.
Publisher: Kluwer Academic Publishers; Springer
Published: 2004
Place of publication: Boston
Language: eng
Number of pages: 249
Subjects: Electronic circuits -- Testing.; Decision trees.
Notes: Includes bibliographical references and index.