TY  - BOOK
AU  - Derrick,John
AU  - Vain,Jüri
ED  - FORTE 2007
ED  - IFIP Working Group 6.1.
TI  - Formal techniques for networked and distributed systems: FORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings 
SN  - 3540731954 (pbk.)
PY  - 2007///
CY  - Boca Raton
PB  - Springer
KW  - Formal methods (Computer science)
KW  - Congresses
KW  - Electronic data processing
KW  - Distributed processing
KW  - Computer network protocols
N1  - Includes bibliographical references and index
ER  -