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 / [electronic resource] :
edited by Myungchul Kim ... [et al.].
- New York : Kluwer Academic, c2001.
- xii, 458 p. : ill.
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.
GBA1-51008
Electronic data processing--Distributed processing--Congresses.
Formal methods (Computer science)--Congresses.
Electronic books.
QA76.9.F67 / I579 2001eb
004.36
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.
GBA1-51008
Electronic data processing--Distributed processing--Congresses.
Formal methods (Computer science)--Congresses.
Electronic books.
QA76.9.F67 / I579 2001eb
004.36