👤

Gerard J. Holzmann

4 books

Books by Gerard J. Holzmann

The SPIN Model Checker
The SPIN Model Checker
2003
Partial order methods in verification
Partial order methods in verification
1997
The early history of data networks
The early history of data networks
1995
Design and validation of computer protocols
Design and validation of computer protocols
1991