![]() |
| 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] |