Ari, Mordechai Ben <br/><br/>
Principles of the spin model checker 

 - Rehovot  Springer  2008 
 - xv;216 p. 
<br/><br/><label>ISBN: </label>9781846287695 
<br/><br/><label>Source: </label> 9513.00 PKR