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.].

By:

Contributor(s):

Publication details: New York : Kluwer Academic, c2001.Description: xii, 458 p. : illISBN:

Subject(s):

Genre/Form:

DDC classification:

LOC classification:

Online resources:

Item type:

eBooks

Average rating: 0.0 (0 votes)

No physical items for this record

Includes bibliographical references and index.

Electronic reproduction. Palo Alto, Calif. : ebrary, 2009. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.