Skip to main content

1 Result(s)

within Conference Proceedings Remove this filter Myung** Kim Remove this filter English Remove this filter

and

  1. No Access

    Book and Conference Proceedings

    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

    Myungchul Kim, Byoungmoon Chin… in IFIP International Federation for Information Processing (2001)