2001 | ||
---|---|---|
1 | Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee: 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 Kluwer 2001 |
1 | Sungwon Kang | [1] |
2 | Myungchul Kim | [1] |
3 | Danhyung Lee | [1] |