| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques | 978-O-7923-9921-6 (O-7923-9921-8) | 1997 | Wolfgang Kunz |
D S · Dominic Stabile · Dominic Staible · Dominik Steubl · Dominique Stoffel