Computing Minimum and Maximum Reachability Times in Probabilistic Systems.

Luca de Alfaro

Browse the full CONCUR paper archive.