Holzmann, Gerard J.  1951- <br/><br/>
The spin model checker  primer and reference manual 
Gerard J. Holzmann 
 - XII, 596 S.  Ill., graph. Darst. 
<br/><br/><label>ISBN: </label>0321228626 9780321773715 0321773713 
<br/><br/><label>Standard No.: </label>9780321228628 
<br/><br/><label>LCCN: </label>2003057704 
<br/><br/><label>Nat. Bib. Agency Control No.: </label>2003057704  US-DLC 52547714  US-OCoLC 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Systems engineering--Mathematical models<br/>Computer programs--Testing
<br/><br/><label>Subjects--Index Terms: </label>
<br/><br/><label>LC Class. No.: </label>TA168.H65 2003 
<br/><br/><label>Dewey Class. No.: </label>620.001171 620/.001/171 004.24