ACETO, L.&OTHERS <br/><br/>
REACTIVE SYSTEMS : MODLING,SPECIFICATION AND VERIFICATION 

 - Cambridge  Cambridge University Press  2007 
 - xvi+284p.,25x17Cms. 
<br/><br/><label>ISBN: </label>0521875462 
<br/><br/><label>Dewey Class. No.: </label>621.38195 A175