Formal techniques for networked and distributed systems :  FORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings / 
 FORTE 2007 
John Derrick, Jüri Vain (eds.). 
 - Boca Raton :  Springer ,  2007 
 - Berlin ;  New York :  Springer,  c2007. 
 - Lecture notes in computer science,  4574  0302-9743 ; .
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>3540731954 (pbk.) 9783540731955 (pbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal methods (Computer science)--Congresses.<br/>Electronic data processing--Distributed processing--Congresses.<br/>Computer network protocols--Congresses.