Symbolic representations and analysis of large probabilistic systems. (2004)

by A S Miner, D Parker
Venue:Validation of Stochastic Systems,