Erratum to: Formal Techniques for Networked and Distributed Systems – FORTE 2004
Erratum to: D. de Frutos-Escrig and M. Núñez (Eds.) Formal Techniques for Networked and Distributed Systems -- FORTE 2004 DOI: 10.1007/978-3-540-30232-2
The book was inadvertently published with an incorrect name of the copyright holder. The name of the copyright holder for this book is: © IFIP International Federation for Information Processing. The book has been updated with the changes.