Partial order methods in verification:  DIMACS workshop July 24-26, 1996/ 
Doron Peled, Vaughan Pratt, Gerard J. Holzmann, editors. 
 - Providence, R.I.:  American Mathematical Society,  c1997. 
 - xiv, 403 p.:  ill.;  26 cm. 
 - DIMACS series in discrete mathematics and theoretical computer science;  29 .
<br/><br/> "Workshop on Partial Order Methods in Verification, July 24-26, 1996, Princeton University, New Jersey"--Pref. 
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>0821805797 
<br/><br/><label>LCCN: </label>96048739 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic data processing---Distributed processing.--Congresses.<br/>Computer software---Verification.--Congresses.<br/>Traitement réparti---Congres.<br/>Logiciels---Vérification--Vérification
<br/><br/><label>Dewey Class. No.: </label>006.601  / P273