D.: Symbolic representations and analysis of large state spaces (2004)

by A Miner, Parker
Venue:In: Validation of Stochastic Systems