TY  - BOOK
AU  - Kim M
AU  - Chin BKang S
TI  - Formal Techniques for Networked and Distributed Systems
T2  - -
SN  - 0729374703
PY  - 2001///
PB  - Kluwer Academic Plenum Publishers
KW  - "Computer Science, "Distributed Systems
N1  - -
ER  -