Symbolic Representations and Analysis of Large Probabilistic Systems (2004)

by A Miner, D Parker
Venue:Validation of Stochastic Systems, LNCS 2925:296–338