The spin model checker :
Holzmann, Gerald J., 1951-
The spin model checker : primer and reference manual / Gerald J. Holzmann - Boston, MA : Addison-Wesley, c2004. - xii, 596 p. : ill. ; 25 cm.
Includes bibliographical references and index.
0321228626 (hardback) 9780321228628
2003057704
620/.001/171
The spin model checker : primer and reference manual / Gerald J. Holzmann - Boston, MA : Addison-Wesley, c2004. - xii, 596 p. : ill. ; 25 cm.
Includes bibliographical references and index.
0321228626 (hardback) 9780321228628
2003057704
620/.001/171