Test pattern generation using Boolean proof engines
Author(s)
Bibliographic Information
Test pattern generation using Boolean proof engines
Springer, c2009
- : hbk.
Available at / 3 libraries
-
No Libraries matched.
- Remove all filters.
Note
Other authors: Stephan Eggersglüß, Görschwin Fey, Daniel Tille
Includes bibliographical references and index
