*Result*: Runtime Verification

*Title*:
Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings / edited by Christian Colombo, Martin Leucker
*Author/editor-in-chief*:
Colombo, Christian (Herausgeber); Leucker, Martin (Herausgeber)
*Edition*:
1st ed. 2018
*Publication*:
Cham : Springer International Publishing, 2018
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XI, 470 Seiten) : 113 illus., 42 illus. in color.
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Programming and Software Engineering, ISSN 2945-9168 ; 11237
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Runtime Verification. - Cham : Springer International Publishing, 2018. - ISBN 9783030037680
*ISBN*:
9783030037697 ; 303003769X ; 978--303003768-0 (Sekundärausgabe) ; 978--303003770-3 (Sekundärausgabe)
*DOI*:
10.1007/978-3-030-03769-7

*Additional information*

*Additional functions*