Test Pattern Generation Using Boolean Proof Engines
Test Pattern Generation Using Boolean Proof Engines
by Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille
- Title
- Test Pattern Generation Using Boolean Proof Engines
- ISBN-10
- 6612236442
- ISBN-13
- 9786612236440
- Publisher
- Springer Netherlands
- Published
- 2009
- Format
Metadata
- EAN
- 9786612236440
- ASIN
- 6612236442
- Prefix
- Group
- Group Name
- Federated Panel
- Group Identifier
- 978-66
- Registrant
- Publication
- Check Digit
- Formatted
- 9786612236440