Cover Image

Advanced formal verification /

Show other versions (1)
Bibliographic Details
Other Authors: Drechsler, Rolf
Format: Book
Language:English
Published: Boston : Kluwer Academic Publishers, [2004]
Subjects:
Electronic circuits > Testing.
Decision trees.
Show all versions (2)