DMCA

Symbolic Representations and Analysis of Large Probabilistic Systems (2004)

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