Computing Minimum and Maximum Reachability Times in Probabilistic Systems (1999)

by Luca De Alfaro
Citations:32 - 2 self