KOYMANS, Ron <br/><br/>
Specifying message passing and time-critical systems with temporal logic 
Ron Koymans 
 - Berlin;  Heidelberg;  New York   Springer\-\\Verlag  1992 
 - X, 164 p.  sch. ; 24 cm 
 - Lecture Notes in Computer Science (LNCS)\\Springer\  651 .
<br/><br/><label>ISBN: </label>0-387-56283-4;  3-540-56283-4 
<br/><br/><label>Source: </label>C-182622 
<br/><br/><label>Index Terms--Genre/Form: </label><br/> lucrare de specialitate
<br/><br/><label>Universal Decimal Class. No.: </label>519.76