TY  - BOOK
AU  - Holzmann, Gerard J
TI  - The spin model checker : primer and reference manual
SN  - 9780321228628
U1  - 620.001171 HOL 
PY  - 2004///
CY  - Boston, MA
PB  - Addison-Wesley
KW  - Computer programs - Testing
KW  - Model Checking
KW  - Systems engineering - Mathematical models
N1  - Includes bibliographical references (p. 545-552) and index
ER  -