TY  - BOOK
AU  - Ben-Ari,M.
ED  - SpringerLink (Online service)
TI  - Principles of the Spin model checker
SN  - 9781846287701 (electronic bk.)
AV  - QA76.76.V47 B46 2008
U1  - 005.14 22
PY  - 2008///
CY  - London
PB  - Springer-Verlag London Limited
KW  - SPIN (Computer file)
KW  - Computer software
KW  - Verification
KW  - Computer Science
KW  - Logics and Meanings of Programs
KW  - Operating Systems
KW  - Programming Languages, Compilers, Interpreters
KW  - Programming Techniques
KW  - Software Engineering/Programming and Operating Systems
KW  - Theory of Computation
N1  - Includes bibliographical references (p. [209]-210) and index
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://link.springer.com.eresourcesptsl.ukm.remotexs.co/book/10.1007/978-1-84628-770-1
ER  -