Formal techniques for 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.]

Author	International Conference on Formal Techniques for Networked and Distributed Systems (21st, 2001 : Cheju Island, Korea)
Title	Formal techniques for 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.]
Imprint	Boston : Kluwer Academic Publishers, 2002
Connect to	http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-7923-7470-1
Descript	xii, 458 p. : ill. ; 24 cm

SUBJECT

Office of Academic Resources
Chulalongkorn University

254 Phayathai Road, Pathumwan, Bangkok 10330 Thailand

Library Service 0-2218-2929, 0-2218-2927

Administrative Division 0-2218-2903

Fax. 0-2215-3617