TY  - BOOK
AU  - Rattray,Charles
ED  - BCS-FACS Workshop on Specification and Verification of Concurrent Systems
TI  - Specification and verification of concurrent systems
T2  - Workshops in Computing
SN  - 3540195815
PY  - 1990///
CY  - London
PB  - Springer
KW  - Przetwarzanie rÃ³wnolegÅe (informatyka)
KW  - konferencje
KW  - kaba
N1  - Papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems, held on 6-8 July 1988at the University of Stirling; Bibliogr. przy referatach
ER  -