Manna, Zohar <br/><br/>
Temporal verification of reactive systems :   safety /  
by Zohar Manna. 
 - New York :   Springer,   1995. 
 - xviii, 512 p. : ill. ;  
<br/><br/>Include Index 
<br/><br/><label>ISBN: </label>9780387944593  E139.99 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Parallel processing
<br/><br/><label>Dewey Class. No.: </label>005.2  / MAN/T