• Runtime Verification
  • *Holdings*

*Result*: Runtime Verification

*Title*:
Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings / edited by Panagiotis Katsaros, Laura Nenzi
*Author/editor-in-chief*:
Katsaros, Panagiotis (Herausgeber); Nenzi, Laura (Herausgeber)
*Edition*:
1st ed. 2023
*Publication*:
Cham : Springer Nature Switzerland, 2023
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XI, 490 Seiten) : 128 illus., 101 illus. in color.
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Lecture Notes in Computer Science, ISSN 1611-3349 ; 14245
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Runtime Verification. - Cham : Springer Nature Switzerland, 2023. - ISBN 9783031442667
*ISBN*:
9783031442674 ; 3031442679 ; 978--303144266-7 (Sekundärausgabe) ; 978--303144268-1 (Sekundärausgabe)
*DOI*:
10.1007/978-3-031-44267-4

*Additional information*

*Additional functions*