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

@incollection{TUW-273850,
    author = {Bartocci, Ezio and Deshmukh, Rupali Ganpat and Donze, Alexandre and Fainekos, Georgios and Maler, Oded and Nickovic, Dejan and Sankaranarayanan, Sriram},
    title = {Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications},
    booktitle = {Lectures on Runtime Verification - Introductory and Advanced Topics},
    volume = {10457},
    year = {2018},
    pages = {135--175},
    publisher = {Springer-Verlag Berlin Heidelberg},
    isbn = {978-3-319-75631-8},
    doi = {10.1007/978-3-319-75632-5}
}


1 Datensatz ausgegeben