Principles of the Spin Model Checker - Ben-Ari, Mordechai; SpringerLink (Online service) (London : Springer London, 2008)
Keywords: Computer science; Software engineering; Operating systems (Computers).; Information theory; Logic design; Computer Science; Software Engineering/Programming and Operating Systems; Programming Techniques; Programming Languages, Compilers, Interpreters; Operating Systems; Theory of Computation; Logics and Meanings of Programs