G J · Gerard Holzmann · Gerard J. · J. H.
| title | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|
| Beyond Photography: The Digital Darkroom | 978-0-13-074410-4 | 1988 | |
| Design And Validation Of Computer Protocols | 978-0-13-539925-5 | 1990 | |
| Digital Darkroom Software | 978-0-13-212747-9 | 1989 | |
| Partial Order Methods in Verification: Dimacs Workshop July 24-26, 1996 | 978-0-8218-0579-4 | 1997 | Doron A. Peled · Vaughan R. Pratt |
| The SPIN Model Checker: Primer and Reference Manual | 978-0-321-22862-8 | 2003 | |
| The Spin Verification System: Dimacs Workshop, August 5, 1996 | 978-0-8218-0680-7 | 1997 | N. J.) Workshop on the Spin Verification System (1996 New Brunswick · Jean-Charles Gregoire · Doron Peled |
Addison-Wesley · Amer Mathematical Society · Prentice Hall