| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Advanced BDD Optimization | Paperback | 978-1-4419-3796-4 (1-4419-3796-X) | 2010 | |
| Advanced BDD Optimization | Hardcover | 978-0-387-25453-1 (0-387-25453-6) | 2005 | Görschwin Fey · Rolf Drechsler |