Author:Marta Kwiatkowska

Publications
On Incremental Quantitative Verification for Probabilistic Systems Marta Kwiatkowska, David Parker, Hongyang Qu and Mateusz Ujma In:HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday