ed by Cassez,Frank <br/><br/>
Modelling and verification of parallel processes / 
ed by Cassez,Frank. 
 - 4th Summer school 
 - Berlin:  Springer,  2001. 
 - x,223p;243cm 
 - LNCS 2067 .
<br/><br/>Includes bibliographical references. 
<br/><br/><label>ISBN: </label>3540427872 
<br/><br/><label>Dewey Class. No.: </label>004 LEC