| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| The Spin Verification System: Dimacs Workshop, August 5, 1996 | 978-O-8218-O68O-7 (O-8218-O68O-7) | 1997 | N. J.) Workshop on the Spin Verification System (1996 New Brunswick · Gerard J. Holzmann · Doron Peled |
C. G. · C. Gregoire · Charles G. · J C · J. Charles · J. G. · Jean-Charles