Symbolic model checking of probabilistic processes using mtbdds and the Kronecker representation (2000)

by L de Alfaro, M Kwiatkowska, G Norman, D Parker, R Segala
Venue:In Proc. TACAS '00, volume 1785 of LNCS