@InProceedings{KPQU14,
author={M. Kwiatkowska and D. Parker and H. Qu and M. Ujma},
title={On Incremental Quantitative Verification for Probabilistic Systems},
booktitle={HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
year={2014},

editor={Andrei Voronkov and Margarita Korovina},
pages={245-257},
organization={},
publisher={Easychair},
series={},
volume={},
address={},
month={},
note={},
key={}
}