| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, ... Notes in Computer Science , Band 2860) | 978-3-54O-2O363-6 (3-54O-2O363-X) | 2008 | Enrico Tronci |