You are about to access our book library "Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings (Theoretical Computer Science and General Issues) full version" .