Model checking quantum Markov chains (Q394340)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Model checking quantum Markov chains
scientific article

    Statements

    Model checking quantum Markov chains (English)
    0 references
    0 references
    0 references
    0 references
    27 January 2014
    0 references
    quantum Markov chains
    0 references
    quantum protocols
    0 references
    model checking
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references