Correction to: Verifying System-Wide Properties of Industrial Component-Based Software

  • Thomas NeeleEmail author
  • Marijn Rol
  • Jan Friso Groote
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11761)

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,

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.

Copyright information

© IFIP International Federation for Information Processing 2019

Authors and Affiliations

  1. 1.Eindhoven University of TechnologyEindhovenThe Netherlands

Personalised recommendations