DMCA

Symbolic Representations and Analysis of Large Probabilistic Systems (2004)

by Andrew Miner , David Parker
Venue:In Validation of Stochastic Systems
Citations:18 - 2 self