TY  - BOOK
AU  -  HOOMAN, Jozef
TI  -  Specification and compositional verification of real-time systems
T2  -  Lecture Notes in Computer Science (LNCS)\\Springer\
SN  -  0-387-54947-1;  3-540-54047-1
CY  -  Berlin;  Heidelberg;  New York
KW  -  carte de studiu
AV  -  III 13326
ER  -