TY  - BOOK
AU  -  KOYMANS, Ron
TI  -  Specifying message passing and time-critical systems with temporal logic
T2  -  Lecture Notes in Computer Science (LNCS)\\Springer\
SN  -  0-387-56283-4;  3-540-56283-4
CY  -  Berlin;  Heidelberg;  New York
KW  -  lucrare de specialitate
AV  -  III 13338
ER  -