TY  - BOOK
AU  - Kim,Myungchul
ED  - FORTE 2001
ED  - ProQuest (Firm)
TI  - Formal techniques for networked and distributed systems: FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea 
AV  - QA76.9.F67 I579 2001
U1  - 004.36 21
PY  - 2001///
CY  - New York
PB  - Kluwer Academic
KW  - Electronic data processing
KW  - Distributed processing
KW  - Congresses
KW  - Formal methods (Computer science)
KW  - Electronic books
N1  - Includes bibliographical references and index; Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries
UR  - https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=3035646
ER  -