%0 Conference Paper %1 conf/rv/StollerBSGHSZ11 %A Stoller, Scott D. %A Bartocci, Ezio %A Seyster, Justin %A Grosu, Radu %A Havelund, Klaus %A Smolka, Scott A. %A Zadok, Erez %B RV %D 2011 %E Khurshid, Sarfraz %E Sen, Koushik %I Springer %K dblp %P 193-207 %T Runtime Verification with State Estimation. %U http://dblp.uni-trier.de/db/conf/rv/rv2011.html#StollerBSGHSZ11 %V 7186 %@ 978-3-642-29859-2

@inproceedings{conf/rv/StollerBSGHSZ11, added-at = {2017-06-05T00:00:00.000+0200}, author = {Stoller, Scott D. and Bartocci, Ezio and Seyster, Justin and Grosu, Radu and Havelund, Klaus and Smolka, Scott A. and Zadok, Erez}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23ee769a9dfb00e6a0a32e89282c33bea/dblp}, booktitle = {RV}, crossref = {conf/rv/2011}, editor = {Khurshid, Sarfraz and Sen, Koushik}, ee = {https://doi.org/10.1007/978-3-642-29860-8_15}, interhash = {4cc08c6c4fcdaf9d8a7c254dc66b38f9}, intrahash = {3ee769a9dfb00e6a0a32e89282c33bea}, isbn = {978-3-642-29859-2}, keywords = {dblp}, pages = {193-207}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:01:42.000+0200}, title = {Runtime Verification with State Estimation.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2011.html#StollerBSGHSZ11}, volume = 7186, year = 2011 }