DMCA

Symbolic State-space Exploration and Numerical Analysis of State-sharing Composed Models (2004)

by Salem Derisavi , Peter Kemper , William H. Sanders
Venue:IN PROCEEDINGS OF NSMC ’03: THE FOURTH INTERNATIONAL CONFERENCE ON THE NUMERICAL SOLUTION OF MARKOV CHAINS
Citations:18 - 6 self