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

@incollection{TUW-273849,
    author = {Bartocci, Ezio and Falcone, Ylies and Francalanza, Adrian and Reger, Giles},
    title = {Introduction to Runtime Verification},
    booktitle = {Lectures on Runtime Verification - Introductory and Advanced Topics},
    volume = {10457},
    year = {2018},
    pages = {1--33},
    publisher = {Springer-Verlag Berlin Heidelberg},
    isbn = {978-3-319-75631-8},
    doi = {10.1007/978-3-319-75632-5}
}


1 Datensatz ausgegeben