BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@book{TUW-244683,
    editor = {Bartocci, Ezio and Majumdar, Rupak},
    title = {Runtime Verification - 6th International Conference, {\{}RV{\}} 2015 Vienna, Austria, September 22-25, 2015. Proceedings},
    publisher = {Springer International Publishing},
    year = {2015},
    address = {Switzerland},
    numpages = {432},
    isbn = {978-3-319-23819-7},
    doi = {10.1007/978-3-319-23820-3}
}


1 Datensatz ausgegeben