@proceedings{raschke:hal-03529208, TITLE = {{Rigorous State-Based Methods-8th International Conference, ABZ 2021, Ulm, Germany, June 9--11, 2021, Proceedings}}, AUTHOR = {Raschke, Alexander and M{\'e}ry, Dominique}, URL = {https://inria.hal.science/hal-03529208}, BOOKTITLE = {{ABZ 2021 - 8th International Conference on Rigorous State Based Methods}}, ADDRESS = {Ulm, Germany}, PUBLISHER = {{Springer International Publishing}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {12709}, YEAR = {2021}, MONTH = Jun, DOI = {10.1007/978-3-030-77543-8}, HAL_ID = {hal-03529208}, HAL_VERSION = {v1}, }