@InProceedings{FKP+12,
author={V. Forejt and M. Kwiatkowska and D. Parker and H. Qu and M. Ujma},
title={Incremental Runtime Verification of Probabilistic Systems},
booktitle={Proc. 3rd International Conference on Runtime Verification (RV'12)},
year={2012},

editor={S. Qadeer and S. Tasiran},
pages={314--319},
organization={},
publisher={Springer},
series={LNCS},
volume={7687},
address={},
month={},
note={},
key={}
}