TY  - BOOK
AU  - Holzmann, Gerard J
TI  - Spin model checker
SN  - 9780321228628
U1  - 005.14 HOL/S 
PY  - 2003///
CY  - Boston
PB  - Addison Wesley
KW  - SOFTWARE RELIABILITY
KW  - SOFTWARE TESTING
ER  -