Refinement and Difference for Probabilistic Automata (Q2878759)

From MaRDI portal
Revision as of 01:47, 21 February 2024 by RedirectionBot (talk | contribs) (‎Removed claim: author (P16): Item:Q808272)
scientific article
Language Label Description Also known as
English
Refinement and Difference for Probabilistic Automata
scientific article

    Statements

    Refinement and Difference for Probabilistic Automata (English)
    0 references
    0 references
    0 references
    0 references
    5 September 2014
    0 references
    0 references
    probabilistic automaton
    0 references
    difference
    0 references
    distance
    0 references
    specification theory
    0 references