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

@article{TUW-273845,
    author = {Jaksic, Stefan and Bartocci, Ezio and Grosu, Radu and Nguyen, Thang and Nickovic, Dejan},
    title = {Quantitative monitoring of STL with edit distance},
    journal = {Formal Methods in System Design},
    year = {2018},
    volume = {53},
    number = {1},
    pages = {83--112},
    doi = {10.1007/s10703-018-0319-x}
}


1 Datensatz ausgegeben