| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Standardized Functional Verification | Broschiert | 978-0-387-51879-4 (0-387-51879-7) | 2008 | Klaus Karstedt |
| Standardized Functional Verification | Hardcover | 978-0-387-71732-6 (0-387-71732-3) | 2007 | |