Workshop on "Process algebra and performance modeling and probabilistic methods in verification (PAPM-PROBMIV)", Aachen, Germany, Sept. 12-14, 2001 <br/><br/>
Process algebra and probabilistic methods; performance modelling and verification; proceedings of the 1st joint international workshop.   
Ed. by Luca de Alfaro and Stephen Gilmore 
 - New York  Springer-Verlag  2001 
 - xii, 215p. Bibl. Index. 
 - Lecture notes in Computer Science  2165 .
<br/><br/> "Purchased under NBHM grant for the year 2001-2002"   
<br/><br/><label>ISBN: </label>354042556X 
<br/><br/><label>Subjects--Index Terms: </label>
<br/><br/><label>Dewey Class. No.: </label>518.1  / W926.PA