Related Books
Language: en
Pages: 386
Pages: 386
Type: BOOK - Published: 2023-05-14 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023
Language: en
Pages: 405
Pages: 405
Type: BOOK - Published: 2024 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during Ju
Language: en
Pages: 432
Pages: 432
Type: BOOK - Published: 2020-05-22 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, G
Language: en
Pages: 174
Pages: 174
Type: BOOK - Published: 2021-05-22 - Publisher: Springer Nature
This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Ger
Language: en
Pages:
Pages:
Type: BOOK - Published: 2021 - Publisher:
This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Ger
