Symbolic Computation of Maximal Probabilistic Reachability (2001)

Cached

Download Links

by Marta Kwiatkowska , Gethin Norman , Jeremy Sproston
Venue:In Proc. CONCUR'01, volume 2154 of LNCS
Citations:9 - 7 self