Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by B. Meini
Structured Markov Chains Solver: Tool Extension
Related publications
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