| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Formal Techniques for Networked and Distributed Systems: FORTE 2001 | 978-0-7923-7470-1 (0-7923-7470-3) | 2001 | Myungchul Kim · Byoungmoon Chin · Danhyung Lee |
| Testing of Communicating Systems: IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8-10 September 1997, Cheju Island, Korea ... in Information and Communication Technology) | 978-0-412-81730-4 (0-412-81730-6) | 1997 | Myungchul Kim · Keesoo Hong |