TY  - BOOK
AU  - Ben-Ari, Mordechai.
TI  - Principles of the Spin Model Checker
SN  - 9781846287695
U1  - 510 BEN 2008 
KW  - mathematics
N1  - references and indexes
ER  -