BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @inproceedings{TUW-212943, author = {Bartocci, Ezio and Grosu, Radu and Karmarkar, Atul and Smolka, Scott A. and Stoller, Scott D. and Seyster, Justin}, title = {Adaptive Runtime Verification}, booktitle = {Proc. of RV 2012: the 3rd International Conference on Runtime Verification}, year = {2012}, pages = {168--182}, publisher = {LNCS / Springer}, address = {vol. 7687}, issn = {0302-9743}, doi = {10.1007/978-3-642-35632-2{\_}18}, note = {talk: RV 2012: the 3rd International Conference on Runtime Verification, Istanbul; 2012-09-25 -- 2012-09-28} } 1 Datensatz ausgegeben