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

by L de Alfaro
Venue:In CONCUR'99: Concurrency Theory. 10th Int. Conf., Lect. Notes in Comp. Sci