Manna, Zohar <br/><br/>
Temporal Logic of Reactive and Concurrent Systems, specifications 
by Zohar Manna 
 - Berlin  Springer Verlag  1992 
 - xiv, 427p. 
<br/><br/>Contents:<br/>Part I : Models of Concurrenc 
<br/><br/><label>ISBN: </label>0387976647 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical
<br/><br/><label>Dewey Class. No.: </label>005.1 MAN