@dblp

On Incremental Quantitative Verification for Probabilistic Systems.

, , , and . HOWARD-60, volume 42 of EPiC Series in Computing, EasyChair, (2014)

Links and resources

Tags