| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Correct Hardware Design and Verification Methods: IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. ... Notes in Computer Science , Band 987) | 978-3-540-60385-6 (3-540-60385-9) | 2008 | Paolo Enrico Camurati | |
| Verifikation digitaler Systeme: Eine Einführung in den Entwurf korrekter digitaler Systeme | 978-3-519-02249-7 (3-519-02249-4) | 1991 | ||
| VLSI-SOC: From Systems to Chips: IFIP TC 10/WG 10.5, Twelfth International Conference on Very Large Scale Ingegration of System on Chip | 978-0-387-33402-8 (0-387-33402-5) | 2006 | Manfred Glesner · Ricardo Reis · Leandro Indrusiak · Vincent Mooney | |