@inproceedings{hniid=2390,
author = {Zhao, Yuhong and Oberth{\"u}r, Simon and Kardos, Martin and Rammig, Franz-Josef},
title = {Model-based Runtime Verification Framework for Self-optimizing Systems},
booktitle = {the Proceedings of the Fifth Workshop on Runtime Verification (RV'05)},
address = {Edinburgh, Scotland, UK},
month = {7~-~12~} # jul,
year = {2005},
}