scientific article; zbMATH DE number 1445805
From MaRDI portal
Publication:4952904
zbMath0954.68008MaRDI QIDQ4952904
Publication date: 19 February 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
A preorder relation for Markov reward processes ⋮ Explainability of probabilistic bisimilarity distances for labelled Markov chains ⋮ Model-checking large structured Markov chains. ⋮ Bisimulation relations for weighted automata ⋮ Model checking for a class of weighted automata ⋮ Optimal state-space lumping in Markov chains ⋮ Exact performance equivalence: An equivalence relation for stochastic automata
This page was built for publication:
