Probabilistic verification of communication protocols (Q916356)

From MaRDI portal
Revision as of 02:35, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Probabilistic verification of communication protocols
scientific article

    Statements

    title
    Probabilistic verification of communication protocols (English)
    0 references
    DOI
    10.1007/BF01784022
    0 references
    author
    Krishan Sabnani
    0 references
    Nicholas F. Maxemchuk
    0 references
    publication date
    1989
    0 references
    zbMATH DE Number
    4153866
    0 references
    zbMATH Keywords
    probabilistic analysis
    0 references
    validation
    0 references
    probabilistic verification
    0 references
    protocols
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q916356&oldid=25867705"
    Powered by MediaWiki