You have full access to this open access chapter, Download conference paper PDF
Correction to: Chapter “Verifying System-Wide Properties of Industrial Component-Based Software” in: H. Hojjat and M. Massink (Eds.): Fundamentals of Software Engineering, LNCS 11761, https://doi.org/10.1007/978-3-030-31517-7_11
In Definition 2 of the originally published version, the first equation and the second paragraph were missing and the block of 5 equations was not aligned correctly. This has been corrected.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 IFIP International Federation for Information Processing
About this paper
Cite this paper
Neele, T., Rol, M., Groote, J.F. (2019). Correction to: Verifying System-Wide Properties of Industrial Component-Based Software. In: Hojjat, H., Massink, M. (eds) Fundamentals of Software Engineering. FSEN 2019. Lecture Notes in Computer Science(), vol 11761. Springer, Cham. https://doi.org/10.1007/978-3-030-31517-7_18
Download citation
DOI: https://doi.org/10.1007/978-3-030-31517-7_18
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-31516-0
Online ISBN: 978-3-030-31517-7
eBook Packages: Computer ScienceComputer Science (R0)