Abstract
Erratum to: M. Kim et al. (Eds.) Formal Techniques for Networked and Distributed Systems DOI: 10.1007/978-0-306-47003-5
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.
The updated original online version for this book can be found at DOI: 10.1007/978-0-306-47003-5
Chapter PDF
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 IFIP International Federation for Information Processing
About this paper
Cite this paper
Kim, M., Chin, B., Kang, S., Lee, D. (2017). Erratum to: Formal Techniques for Networked and Distributed Systems. In: Kim, M., Chin, B., Kang, S., Lee, D. (eds) Formal Techniques for Networked and Distributed Systems. FORTE 2001. IFIP International Federation for Information Processing, vol 69. Springer, Boston, MA. https://doi.org/10.1007/0-306-47003-9_29
Download citation
DOI: https://doi.org/10.1007/0-306-47003-9_29
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-7923-7470-1
Online ISBN: 978-0-306-47003-5
eBook Packages: Springer Book Archive