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 
PB  - ; Addison-Wesley
KW  - Systems engineering -- Mathematical models
KW  - Computer programs -- Testing
KW  - Ingénierie des systèmes -- Modèles mathématiques
KW  - Gerard J Holzmann
KW  - Mathematics
ER  -