Koymans, Ron. <br/><br/>
Specifying message passing and time-critical systems with temporal logic   
by Ron Koymans 
 - Berlin  Springer-Verlag  1992 
 - viii, 164p. 
 - Lecture notes in computer science  651 .
<br/><br/><label>ISBN: </label>3540562834 
<br/><br/><label>Dewey Class. No.: </label>004.66015113  / N92