An Algorithm for Quantitative Verification of Probabilistic Transition Systems.

Franck van Breugel, James Worrell

Browse the full CONCUR paper archive.