• Model Checking Software

*Result*: Model Checking Software

*Title*:
Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings / edited by Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
*Author/editor-in-chief*:
Biondi, Fabrizio (Herausgeber); Given-Wilson, Thomas (Herausgeber); Legay, Axel (Herausgeber)
*Edition*:
1st ed. 2019
*Publication*:
Cham : Springer International Publishing, 2019
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (X, 261 Seiten) : 605 illus., 41 illus. in color.
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 11636
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Model Checking Software. - Cham : Springer International Publishing, 2019. - ISBN 9783030309220
*ISBN*:
9783030309237 ; 3030309231 ; 978--303030922-0 (Sekundärausgabe) ; 978--303030924-4 (Sekundärausgabe)
*DOI*:
10.1007/978-3-030-30923-7

*Additional information*

*Additional functions*