Godefroid, Patrice <br/><br/>
Partial-order methods for the verification of concurrent systems :  an approach to the state-explosion problem 

 - Berlin :  Springer-Verlag,  1996 
 - 142 p. 
 - Lecture notes in computer science ;  no. 1032 .
<br/><br/><label>ISBN: </label>3540607617 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Parallel processing (Electronic computers)<br/>Computer software--Verification
<br/><br/><label>LC Class. No.: </label>QA76.58  / G63