TY  - BOOK
AU  -  JANICKI, Ryszard
AU  -  LAUER, Peter E.
AU  - 
TI  -  Specification and analysis of concurrent systems  the cosy approach
SN  -  3-540-55204-9
CY  -  Berlin
KW  -  lucrare în ajutorul învățământului
AV  -  III 13261
ER  -