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

@book{TUW-273848,
    editor = {Bartocci, Ezio and Falcone, Ylies},
    title = {Lectures on Runtime Verification - Introductory and Advanced Topics},
    publisher = {Springer-Verlag Berlin Heidelberg},
    year = {2018},
    address = {Berlin Heidelberg},
    numpages = {232},
    isbn = {978-3-319-75631-8},
    doi = {10.1007/978-3-319-75632-5}
}


1 Datensatz ausgegeben