*Result*: Runtime Verification

*Title*:
Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings / edited by Shuvendu Lahiri, Giles Reger
*Author/editor-in-chief*:
Lahiri, Shuvendu (Herausgeber); Reger, Giles (Herausgeber)
*Edition*:
1st ed. 2017
*Publication*:
Cham : Springer International Publishing, 2017
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XIX, 432 Seiten) : 147 illus.
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Programming and Software Engineering, ISSN 2945-9168 ; 10548
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Runtime Verification. - Cham : Springer International Publishing, 2017. - ISBN 9783319675305
*ISBN*:
9783319675312 ; 3319675311 ; 978--331967530-5 (Sekundärausgabe) ; 978--331967532-9 (Sekundärausgabe)
*DOI*:
10.1007/978-3-319-67531-2

*Additional information*

*Additional functions*