| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Design and Validation of Computer Protocols | 978-0-13-539925-5 | 1990 | ||
| NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings | 978-3-319-17523-2 | 2015 | Klaus Havelund · Rajeev Joshi | |
| NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings | 978-3-642-20397-8 | 2011 | Mihaela Bobaru · Klaus Havelund · Rajeev Joshi | |
| The SPIN Model Checker: Primer and Reference Manual | 978-0-321-77371-5 | 2003 | ||
Gerard Holguin · Gerard J. Holzmann · Gerhard Holzinger · Gerhard Holzmann · Gerhart Holzinger
Addison-Wesley · Prentice Hall · Springer