Kim, Myungchul.
Overview
Works: | 1 works in 0 publications in 0 languages |
---|
Titles
Formal techniques for networked and distributed systemsFORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
by:
(1998 :); Kim, Myungchul.; SpringerLink (Online service)
(Electronic resources)