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

@inproceedings{TUW-219426,
    author = {Kalajdzic, Kenan and Bartocci, Ezio and Stoller, Scott D. and Smolka, Scott A. and Grosu, Radu},
    title = {Runtime Verification with Particle Filtering},
    booktitle = {Proc. of RV 2013, the Fourth International Conference on Runtime Verification},
    year = {2013},
    pages = {149--166},
    publisher = {LNCS/Springer},
    address = {8174},
    isbn = {978-3-642-40786-4},
    doi = {10.1007/978-3-642-40787-1{\_}9},
    note = {talk: RV 2013, the Fourth International Conference on Runtime Verification, RENNES, France; 2013-09-24 -- 2013-09-27}
}


1 Datensatz ausgegeben