Result: The spin model checker

*Title*:

The spin model checker : primer and reference manual / Gerard J. Holzmann

*Author/editor-in-chief*:

Holzmann, Gerard J.

*Edition*:

3. print.

*Publication*:

Boston [u.a.] : Addison-Wesley, 2006

*Physical description scale*:

XII, 596 p. : graph. Darst.

*Format*:

*book*

*Language*:

*eng*

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

0321228626 ; 9780321228628

*Result*: The spin model checker