Rigorous state-based methods: 7th international conference, abz 2020, ulm, germany, may 27–29, 2020, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030480769
Date de publication :
15 mai 2020
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
The conference was cancelled due to the COVID-19 pandemic.The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it.