@InProceedings{KPQU14,

author={M. Kwiatkowska, D. Parker, 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={February 2014},


editor={Proc. Andrei Voronkov and Margarita Korovina},

pages={245-257},

organization={},

publisher={Easychair},

series={},

volume={},

address={},

month={},

note={},

key={}

}