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

@inproceedings{TUW-282747,
    author = {Bartocci, Ezio and Falcone, Ylies and Reger, Giles},
    title = {International Competition on Runtime Verification (CRV)},
    booktitle = {Proc. of Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS},
    year = {2019},
    pages = {41--49},
    address = {11429},
    url = {https://publik.tuwien.ac.at/files/publik_282747.pdf},
    doi = {10.1007/978-3-030-17502-3{\_}3},
    note = {invited; talk: Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS, Prague, Czech Republic; 2019-04-06 -- 2019-04-11}
}


1 Datensatz ausgegeben