Koymans, Ron <br/><br/>
Specifying message passing and time-critical systems with temporal logic 

 - Berlin :  Springer-Verlag,  1992 
 - 164 p. 
 - Lecture notes in computer science ;  no. 651 .
<br/><br/><label>ISBN: </label>3 540 56283 4 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical
<br/><br/><label>LC Class. No.: </label>QA9 K68