Abstract
Erratum to: S.F. Smith and C.L. Talcott (Eds.) Formal Methods for Open Object-Based Distributed Systems IV DOI: 10.1007/978-0-387-35520-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.
The updated original online version for this book can be found at DOI: 10.1007/978-0-387-35520-7
Chapter PDF
Similar content being viewed by others
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
Smith, S.F., Talcott, C.L. (2017). Erratum to: Formal Methods for Open Object-Based Distributed Systems IV. In: Smith, S.F., Talcott, C.L. (eds) Formal Methods for Open Object-Based Distributed Systems IV. FMOODS 2000. IFIP Advances in Information and Communication Technology, vol 49. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35520-7_21
Download citation
DOI: https://doi.org/10.1007/978-0-387-35520-7_21
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-1018-2
Online ISBN: 978-0-387-35520-7
eBook Packages: Springer Book Archive