%0 Conference Paper %1 journals/entcs/ZhaoOKR06 %A Zhao, Yuhong %A Oberthür, Simon %A Kardos, Martin %A Rammig, Franz-Josef %B RV@CAV %D 2005 %E Barringer, Howard %E Finkbeiner, Bernd %E Gurevich, Yuri %E Sipma, Henny %I Elsevier %K dblp %N 4 %P 125-145 %T Model-based Runtime Verification Framework for Self-optimizing Systems. %U http://dblp.uni-trier.de/db/conf/rv/rv2005.html#ZhaoOKR06 %V 144

@inproceedings{journals/entcs/ZhaoOKR06, added-at = {2022-12-16T00:00:00.000+0100}, author = {Zhao, Yuhong and Oberthür, Simon and Kardos, Martin and Rammig, Franz-Josef}, biburl = {https://www.bibsonomy.org/bibtex/27d3159711b47560748f653307d26bc30/dblp}, booktitle = {RV@CAV}, crossref = {conf/rv/2005}, editor = {Barringer, Howard and Finkbeiner, Bernd and Gurevich, Yuri and Sipma, Henny}, ee = {https://doi.org/10.1016/j.entcs.2006.02.008}, interhash = {18b5b6fe56dcce8510bbeb643fd6b9b3}, intrahash = {7d3159711b47560748f653307d26bc30}, keywords = {dblp}, number = 4, pages = {125-145}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T16:55:44.000+0200}, title = {Model-based Runtime Verification Framework for Self-optimizing Systems.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2005.html#ZhaoOKR06}, volume = 144, year = 2005 }