Danhyung Lee

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 · Byoungmoon Chin · Sungwon Kang