Amanote Research
Register
Sign In
Structured Markov Chains Solver: Tool Extension
doi 10.4108/icst.valuetools2009.7443
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2009
Authors
D. A. Bini
B. Meini
S. Steffé
B. Van Houdt
Publisher
ICST
Related search
Segregating Markov Chains
Journal of Theoretical Probability
Mathematics
Statistics
Uncertainty
Probability
Appendix A. Markov Chains
Wiley Series in Probability and Statistics
Finite-State Markov Chains
Continuous Parameter Markov Chains
Occupation Times for Markov and Semi-Markov Chains
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Shepherding Hordes of Markov Chains
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Equivalence of Labeled Markov Chains
International Journal of Foundations of Computer Science
Computer Science
Numerical Solution of Markov Chains
Numerical Solution of Markov Chains
