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. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><br/>Electronic reproduction. <br/>Palo Alto, Calif. : <br/>ebrary, <br/>2009. <br/>Available via World Wide Web. <br/>Access may be limited to ebrary affiliated libraries. 
<br/><br/><label>ISBN: </label>
<br/><br/><label>Nat. Bib. No.: </label>GBA1-51008 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic data processing--Distributed processing--Congresses.<br/>Formal methods (Computer science)--Congresses.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>QA76.9.F67  / I579 2001eb 
<br/><br/><label>Dewey Class. No.: </label>004.36