The spin model checker : primer and reference manual /

Autor Holzmann, Gerald J., 1951-
Vydáno 2004

The early history of data networks /

Autor Pehrson, Björn, Holzmann, Gerald J., 1951-
Vydáno 1995

The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS Workshop, August 5, 1996 /

Vydáno 1997