Manna, Zohar, <br/><br/>
Temporal verification of reactive systems :  safety / 
Zohar Manna, Amir Pnueli 
 - xviii, 512 páginas :  ilustraciones ; 
<br/><br/><label>ISBN: </label>0387944591 (papel libre de acido) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software para computadora--Verificación<br/>Procesamiento paralelo (Computadoras electrónicas)
<br/><br/><label>LC Class. No.: </label>QA76.76V47  / M35 
<br/><br/><label>Dewey Class. No.: </label>005.2