| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Verification Techniques for System-Level Design | 978-0-12-370616-4 (0-12-370616-5) | 2007 | Masahiro Fujita · Indradeep Ghosh |
M P · Micaela Preston · Michael Perscheid · Michael Prescott · Michael Preston · Michael Prestwich · Michael Priestley · Michael Priestly · Michael Proctor · Michael Prost · Michel Parigot · Michelle Preston