TY  - BOOK
AU  - Ben-Ari,M.
TI  - Principles of the Spin model checker
SN  - 9781846287695 (pbk.)
PY  - 2008///
CY  - London
PB  - Springer
KW  - SPIN (Computer file)
KW  - Computer software
KW  - Verification
N1  - Includes bibliographical references (p. [209]-210) and index
UR  - http://www.loc.gov/catdir/enhancements/fy0825/2007941384-t.html
ER  -