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

@inproceedings{TUW-290984,
    author = {Nenzi, Laura and Bartocci, Ezio and Bortolussi, Luca and Loreti, Michele and Visconti, Ennio},
    title = {Monitoring Spatio-Temporal Properties (Invited Tutorial)},
    booktitle = {Proc. of RV 2020: the 20th International Conference on Runtime Verification},
    year = {2020},
    pages = {21--46},
    publisher = {Springer},
    address = {12399},
    isbn = {978-3-030-60507-0},
    doi = {10.1007/978-3-030-60508-7},
    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