도서명 :
Formal techniques fo r networked and distributed systems - [electronic resource] : FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea : edited by Myungchul Kim ... [et al.].
저 자 :
International Conference on Formal Techniques for