Ben-Ari, M. <br/><br/>
Principles of the Spin model checker / 
Mordechai Ben-Ari 
 - London :  Springer,  c2008 
 - xv, 216 p. :  ill. ;  24 cm. 
<br/><br/>Includes bibliographical references (p. [209]-210) and index 
<br/><br/><label>ISBN: </label>9781846287695 (pbk.) 1846287693 (pbk.) 1846287707 (ebook) 9781846287701 (ebook) 
<br/><br/><label>Subjects--Uniform Titles: </label><br/>SPIN (Computer file)
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Verification