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

@inproceedings{TUW-233978,
    author = {Bartocci, Ezio and Bonakdarpour, Borzoo and Falcone, Ylies},
    title = {First International Competition of Software for Runtime Verification},
    booktitle = {Proc. of RV 2014: the 14th International Conference on Runtime Verification},
    year = {2014},
    pages = {1--9},
    doi = {10.1007/978-3-319-11164-3},
    note = {invited; talk: 14th International Conference on Runtime Verification, Canada; 2014-09-22 -- 2014-09-25}
}


1 Datensatz ausgegeben