by Rolf Drechsler
Paperback
ISBN: 978-90-481-8491-0
ISBN-10: 90-481-8491-6
Springer · 2010
|
|
by Rolf DrechslerPaperback
ISBN: 978-90-481-8491-0 ISBN-10: 90-481-8491-6 Springer · 2010 |
| See also: | ||
| 2009 | Hardcover | Test Pattern Generation using Boolean Proof Engines |