Correction to: Verifying System-Wide Properties of Industrial Component-Based Software
Résumé
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.
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|