Probabilistic weak bisimulation and axiomatization for probabilistic models (Q6161460)

From MaRDI portal
scientific article; zbMATH DE number 7691958
Language Label Description Also known as
English
Probabilistic weak bisimulation and axiomatization for probabilistic models
scientific article; zbMATH DE number 7691958

    Statements

    Identifiers