%0 Unpublished work %T Rigorous State-Based Methods-8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings %+ Institute of Software Engineering and Programming Languages %+ Modeling and Verification of Distributed Algorithms and Systems (VERIDIS) %+ TELECOM Nancy %+ Proof-oriented development of computer-based systems (MOSEL) %A Raschke, Alexander %A Méry, Dominique %@ 978-3-030-77543-8 %B ABZ 2021 - 8th International Conference on Rigorous State Based Methods %C Ulm, Germany %I Springer International Publishing %C Cham %S Lecture Notes in Computer Science %V 12709 %8 2021-06-09 %D 2021 %R 10.1007/978-3-030-77543-8 %Z Computer Science [cs]/Software Engineering [cs.SE] %Z Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] %Z Computer Science [cs]/Logic in Computer Science [cs.LO] %Z Computer Science [cs]/Data Structures and Algorithms [cs.DS]Proceedings %G English %L hal-03529208 %U https://inria.hal.science/hal-03529208 %~ CNRS %~ INRIA %~ INRIA_TEST %~ INRIA-LORRAINE %~ LORIA2 %~ INRIA-NANCY-GRAND-EST %~ TESTALAIN1 %~ UNIV-LORRAINE %~ INRIA2 %~ LORIA %~ LORIA-FM %~ ANR %~ INRIA-ALLEMAGNE