| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Formal Techniques for Networked and Distributed Systems: FORTE 2001 | 978-O-7923-747O-1 (O-7923-747O-3) | 2001 | Myungchul Kim · Sungwon Kang · Danhyung Lee |
B. C · Benjamin Cano · Benjamin Chain · Benjamin Cohen · Bingzhen Chen