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

@inproceedings{TUW-290982,
    author = {Bartocci, Ezio and Bortolussi, Luca and Loreti, Michele and Nenzi, Laura and Silvetti, Simone},
    title = {MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties},
    booktitle = {Proc. of RV 2020: the 20th International Conference on Runtime Verification},
    year = {2020},
    editor = {Nenzi, Laura},
    pages = {417--428},
    publisher = {Springer},
    address = {12399},
    isbn = {978-3-030-60507-0},
    doi = {10.1007/978-3-030-60508-7{\_}23},
    note = {talk: Proc. of RV 2020: the 20th International Conference on Runtime Verification, Los Angeles, CA (Virtual); 2020-10-06 -- 2020-10-09}
}


1 Datensatz ausgegeben