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

@article{TUW-303383,
    author = {Nenzi, Laura and Bartocci, Ezio and Bortolussi, Luca and Silvetti, Simone and Loreti, Michele},
    title = {MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties},
    journal = {International Journal on Software Tools for Technology Transfer},
    year = {2022},
    note = {accepted for publication}
}


1 Datensatz ausgegeben