TY  - BOOK
AU  - Kim,Myungchul
ED  - FORTE 2001
ED  - ebrary, Inc.
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 2001eb
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
KW  - local
N1  - Includes bibliographical references and index; Electronic reproduction; Palo Alto, Calif.; ebrary; 2009; Available via World Wide Web; Access may be limited to ebrary affiliated libraries
UR  - http://ezproxy.taylors.edu.my/login?url=http://site.ebrary.com/lib/taylorscollege/Doc?id=10052659
ER  -