Erratum to: Formal Methods for Distributed System Development
Erratum to: Tommaso Bolognesi and Diego Latella (Eds.) Formal Methods for Distributed System Development DOI: 10.1007/978-0-387-35533-7
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.