TY  - BOOK
AU  - Myungchul Kim,Myungchul
AU  - Byoungmoon Chin,Byoungmoon
AU  - Sungwon Kang,Sungwon
AU  - Danhyung Lee,Danhyung
TI  - Formal Techniques for Networked and Distributed Systems: Forte 2001
T2  - IFIP Advances in Information and Communication Technology Series
SN  - 9780306470035
AV  - TK5105.5-5105.9 
U1  - 004.36 
PY  - 2001///
CY  - New York, NY
PB  - Springer
KW  - Electronic data processing -- Distributed processing -- Congresses
KW  - Electronic books
N1  - Intro -- Contents
UR  - https://ebookcentral.proquest.com/lib/orpp/detail.action?docID=3035646
ER  -