Test pattern generation using Boolean proof engines
- Author
- Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille (auth.)
- Publisher
- Springer Netherlands
- Language
- English
- Edition
- 1
- Year
- 2009
- Page
- 192
- ISBN
- 9789048123599,9048123593,9048123607,9789048123605
- File Type
- pdf
- File Size
- 6.2 MiB
How to Download?!!!
Just click on START button on Telegram Bot