ContributionExact performance equivalence: An equivalence relation for stochastic automata
Under an Elsevier user license
open archive
Keywords
Stochastic automata
Equivalence of stochastic automata
Qualitative analysis
Quantitative analysis
Cited by (0)
Copyright © 1999 Published by Elsevier B.V.