• Model Checking Software
  • *Holdings*

*Result*: Model Checking Software

*Title*:
Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings / edited by Owolabi Legunsen, Grigore Rosu
*Author/editor-in-chief*:
Legunsen, Owolabi (Herausgeber); Rosu, Grigore (Herausgeber)
*Edition*:
1st ed. 2022
*Publication*:
Cham : Springer International Publishing, 2022
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (IX, 153 Seiten) : 41 illus., 27 illus. in color.
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Lecture Notes in Computer Science, ISSN 1611-3349 ; 13255
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Model Checking Software. - Cham : Springer International Publishing, 2022. - ISBN 9783031150760
*ISBN*:
9783031150777 ; 3031150775 ; 978--303115076-0 (Sekundärausgabe) ; 978--303115078-4 (Sekundärausgabe)
*DOI*:
10.1007/978-3-031-15077-7

*Additional information*

*Additional functions*