| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Advanced BDD Optimization | Paperback | 978-1-4419-3796-4 | 2010 | Rudiger Ebendt · Rolf Drechsler | |
| Advanced BDD Optimization | Hardcover | 978-0-387-25453-1 | 2005 | Rudiger Ebendt · Rolf Drechsler | |
| Debug Automation from Pre-Silicon to Post-Silicon | Gebunden | 978-3-319-09308-6 | 2014 | Mehdi Dehbashi | |
| FunTaskIC: Eine integrierte Entwurfsumgebung für SystemC | Taschenbuch | 978-3-8322-3675-5 | 2005 | Rolf Drechsler | |
| Robustness and Usability in Modern Design Flows | Hardcover | 978-1-4020-6535-4 | 2008 | " | |
| Test Pattern Generation using Boolean Proof Engines | " | 978-90-481-2359-9 | 2009 | Rolf Drechsler · Stephan Eggersglüß · Daniel Tille |