Computing minimum and maximum reachability times in probabilistic systems (1999)

by L de Alfaro
Venue:In Proc. CONCUR’99, volume 1664 of Lect. Notes in Comp. Sci