M.: On the use of MTBDDs for performability analysis and verification of stochastic systems (0)

by H Hermanns, M Kwiatkowska, G Norman, D Parker, Siegle
Venue:J. of Logic and Alg. Progr