Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1-21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /

Bibliographic Details
Corporate Authors:	FORTE 2001 Cheju-do, Korea, SpringerLink (Online service)
Other Authors:	Kim, Myungchul
Format:	Conference Proceeding eBook
Language:	English
Published:	New York : Kluwer Academic Publishers, [2002]
Subjects:	Electronic data processing > Distributed processing > Congresses. Formal methods (Computer science) > Congresses. COMPUTERS > Client-Server Computing. Electronic data processing > Distributed processing. Formal methods (Computer science) Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book Connect to the full text of this electronic book

Available Online