Rigorous State-Based Methods : 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings Paperback / softback
Edited by Alexander Raschke, Dominique Mery, Frank Houdek
Part of the Theoretical Computer Science and General Issues series
Paperback / softback
- Information
Description
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, Germany, in May 2020.
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.
The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributing to the case study; short articles of the PhD-symposium (work in progress).
Information
-
Available to Order - This title is available to order, with delivery expected within 2 weeks
- Format:Paperback / softback
- Pages:428 pages, 66 Illustrations, color; 609 Illustrations, black and white; XII, 428 p. 675 illus., 66 i
- Publisher:Springer Nature Switzerland AG
- Publication Date:15/05/2020
- Category:
- ISBN:9783030480769
Information
-
Available to Order - This title is available to order, with delivery expected within 2 weeks
- Format:Paperback / softback
- Pages:428 pages, 66 Illustrations, color; 609 Illustrations, black and white; XII, 428 p. 675 illus., 66 i
- Publisher:Springer Nature Switzerland AG
- Publication Date:15/05/2020
- Category:
- ISBN:9783030480769