Mathematical techniques for analyzing concurrent and probabilistic systems/ 
J.J.M.M. Rutten ... [et al.] ; Prakash Panangaden, Franck van Breugel, editors. 
 - Providence, R.I.:  American Mathematical Society,  c2004. 
 - viii, 215 p.:  ill.;  25 cm. 
 - CRM monograph series;  23,  1065-8599 .
<br/><br/>Includes bibliographical references (p. 209-215). 
<br/><br/><label>ISBN: </label>0821835718 (acid-free paper) 
<br/><br/><label>LCCN: </label>2004041069 
<br/><br/><label>Subjects--Topical Terms: </label><br/>System analysis<br/>Systemes, analyse de.
<br/><br/><label>Dewey Class. No.: </label>519  / M426