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

@inproceedings{TUW-239545,
    author = {Stoller, Scott D. and Bartocci, Ezio and Seyster, Justin and Grosu, Radu and Havelund, Klaus and Smolka, Scott A. and Zadok, Erez},
    title = {Runtime Verification with State Estimation},
    booktitle = {RV 2011: Proc. of the 2nd International Conference on Runtime Verification},
    year = {2012},
    pages = {193--207},
    publisher = {LNCS / Springer Berlin Heidelberg},
    address = {vol. 7186},
    isbn = {978-3-642-29859-2},
    doi = {10.1007/978-3-642-29860-8{\_}15},
    note = {talk: RV 2011: Proc. of the 2nd International Conference on Runtime Verification, San Francisco (CA), USA; 2011-09-27 -- 2011-09-30}
}


1 Datensatz ausgegeben