%0 Journal Article %1 journals/ijpp/SteinerKCUMJW25a %A Steiner, Lukas %A Kraft, Kira %A Christ, Derek %A Uecker, Denis %A Malek, Christian %A Jung, Matthias %A Wehn, Norbert %D 2025 %J Int. J. Parallel Program. %K dblp %N 4 %P 23 %T Correction: Split'n'Cover: ISO 26,262 Hardware Safety Analysis with SystemC. %U http://dblp.uni-trier.de/db/journals/ijpp/ijpp53.html#SteinerKCUMJW25a %V 53

@article{journals/ijpp/SteinerKCUMJW25a, added-at = {2025-07-06T00:00:00.000+0200}, author = {Steiner, Lukas and Kraft, Kira and Christ, Derek and Uecker, Denis and Malek, Christian and Jung, Matthias and Wehn, Norbert}, biburl = {https://www.bibsonomy.org/bibtex/29fd2b27912f2b75fcd5c23f646b29f20/dblp}, ee = {https://doi.org/10.1007/s10766-025-00800-8}, interhash = {4c90c53c8a32a14053711b031c5b6f05}, intrahash = {9fd2b27912f2b75fcd5c23f646b29f20}, journal = {Int. J. Parallel Program.}, keywords = {dblp}, month = {August}, number = 4, pages = 23, timestamp = {2025-07-07T07:05:13.000+0200}, title = {Correction: Split'n'Cover: ISO 26,262 Hardware Safety Analysis with SystemC.}, url = {http://dblp.uni-trier.de/db/journals/ijpp/ijpp53.html#SteinerKCUMJW25a}, volume = 53, year = 2025 }