*Result*: Runtime Verification
*Title*:
Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers / edited by Shaz Qadeer, Serdar Tasiran
*Author/editor-in-chief*:
*Edition*:
1st ed. 2013
*Publication*:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XII, 322 Seiten) : 93 illus.
*Format*:
*Language*:
*eng*
*series_multipart*:
Programming and Software Engineering, ISSN 2945-9168 ; 7687
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Runtime Verification. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. - ISBN 9783642356315
*RVK-Notation*:
*Subject Added Keywords*:
*ISBN*:
9783642356322 ; 364235632X ; 978--364235631-5 (Sekundärausgabe) ; 978--364235633-9 (Sekundärausgabe)
*DOI*:
10.1007/978-3-642-35632-2