Rigorous State-Based Methods 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings / Raschke, Alexander.

Author/creator Raschke, Alexander
Other author Me ́ry, Dominique.
Other author SpringerLink (Online service)
Format Electronic
Edition1st ed. 2021.
Publication Info[S.l.] : Springer International Publishing,
Supplemental ContentFull text available from Springer Nature - Springer Computer Science (R0) eBooks 2021 English International
Supplemental ContentFull text available from Springer Books

General noteTitle from content provider.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.