%0 Journal Article %1 journals/entcs/ZhaoOKR06 %A Zhao, Yuhong %A Oberthür, Simon %A Kardos, Martin %A Rammig, Franz-Josef %D 2006 %J Electron. Notes Theor. Comput. Sci. %K %N 4 %P 125-145 %T Model-based Runtime Verification Framework for Self-optimizing Systems. %U http://dblp.uni-trier.de/db/journals/entcs/entcs144.html#ZhaoOKR06 %V 144

@article{journals/entcs/ZhaoOKR06, added-at = {2023-12-14T15:24:14.000+0100}, author = {Zhao, Yuhong and Oberthür, Simon and Kardos, Martin and Rammig, Franz-Josef}, biburl = {https://www.bibsonomy.org/bibtex/2f7373bf6133990b4a32ac029742586b1/admin}, ee = {https://doi.org/10.1016/j.entcs.2006.02.008}, interhash = {eab4b1cdfcec24b114eb63bde916fd31}, intrahash = {f7373bf6133990b4a32ac029742586b1}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {}, number = 4, pages = {125-145}, timestamp = {2023-12-14T15:24:14.000+0100}, title = {Model-based Runtime Verification Framework for Self-optimizing Systems.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs144.html#ZhaoOKR06}, volume = 144, year = 2006 }