Test Pattern Generation using Boolean Proof Engines

Sprache(n): Englisch

ISBN: 978-90-481-2359-9 / 978-9048123599 / 9789048123599

Verlag: Springer Netherland

Erscheinungsdatum: 30.04.2009

Seiten: 192

Auflage: 1

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