Test Pattern Generation using Boolean Proof Engines [electronic resource] / by Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille.
By: Drechsler, Rolf.
Contributor(s): Eggersglüβ, Stephan | Fey, Görschwin | Tille, Daniel | SpringerLink (Online service).
Material type: BookPublisher: Dordrecht : Springer Netherlands, 2009Description: digital.ISBN: 9789048123605.Subject(s): Engineering | Electronics | Systems engineering | Engineering | Circuits and Systems | Electronics and Microelectronics, InstrumentationDDC classification: 621.3815 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.