Test Pattern Generation using Boolean Proof Engines

Sprache(n): Englisch

ISBN: 978-90-481-8491-0 / 978-9048184910 / 9789048184910

Verlag: Springer Netherland

Erscheinungsdatum: 19.10.2010

Seiten: 192

Auflage: 1

Autor(en): Stephan Eggersglüß, Rolf Drechsler, Görschwin Fey, Daniel Tille