| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Correct Hardware Design and Verification Methods: IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. ... Notes in Computer Science , Band 683) | 978-3-540-56778-3 (3-540-56778-X) | 2008 | Laurence Pierre | |
| Correct Hardware Design and Verification Methods: Ifipwg10.2 Advanced Research Working Conference Charme '93, Arles, France, May 24-26, 1993: Procee | 978-0-387-56778-5 (0-387-56778-X) | 1993 | ||
G J · G.M. · George J. · George M. · George Milne · J.M. · J. Milne