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:![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
No physical items for this record
There are no comments for this item.