Manna, Zohar <br/><br/>
Temporal verification of reactive systems :  safety 

 - 1a. ed. 
 - Nueva York :  [S.n.],  1995 
 - xviii, 512: 24cm 
<br/><br/><label>ISBN: </label>0387944591 
<br/><br/><label>Standard No.: </label>DIF-M3209 
<br/><br/><label>Subjects--Topical Terms: </label><br/>SISTEMAS REACTIVOS