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

by Luca De Alfaro
Citations:54 - 2 self