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

Formal methods (Computer science) -- Congresses Electronic data processing -- Distributed processing -- Congresses Computer network protocols -- Congresses