HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:David Parker

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
Copyright © 2012-2025 easychair.org. All rights reserved.