How fast and fat is your probabilistic model checker? an experimental performance comparison (2007)

by D N Jansen, J-P Katoen, M Stoelinga M Oldenkamp, I S Zapreev
Venue:In HVC, volume 4899 of LNCS