Using probabilistic Kleene algebra pKA for protocol verification (Q929968): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 17:40, 30 January 2024

scientific article
Language Label Description Also known as
English
Using probabilistic Kleene algebra pKA for protocol verification
scientific article

    Statements

    Using probabilistic Kleene algebra pKA for protocol verification (English)
    0 references
    19 June 2008
    0 references
    Kleene algebra
    0 references
    probabilistic systems
    0 references
    probabilistic verification
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references