Rigorous state-based methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings /
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 reviewe...
| Corporate Authors: | ABZ (Conference) Ulm, Germany) |
|---|---|
| Other Authors: | ABZ (Conference), Raschke, Alexander,, Méry, Dominique,, Houdek, Frank,, SpringerLink (Online service) |
| Format: | Electronic |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2020.
|
| Physical Description: |
1 online resource (xii, 428 pages) : 675 illustrations, 66 illustrations in color. |
| Edition: | 1st ed. 2020. |
| Series: |
LNCS sublibrary. Theoretical computer science and general issues.
Lecture notes in computer science ; 12071. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |