Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing (Q736791)

From MaRDI portal
Revision as of 13:19, 6 February 2024 by Daniel (talk | contribs) (‎Created claim: Wikidata QID (P12): Q29544202, #quickstatements; #temporary_batch_1707216511891)
scientific article
Language Label Description Also known as
English
Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing
scientific article

    Statements

    title
    Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing (English)
    0 references
    author
    Muffy Calder
    0 references
    Michele Sevegnani
    0 references
    publication date
    5 August 2016
    0 references
    Mathematics Subject Classification ID
    68Q60
    0 references
    68M12
    0 references
    68Q87
    0 references
    68R10
    0 references
    zbMATH DE Number
    6609441
    0 references
    zbMATH Keywords
    802.11 protocol
    0 references
    formal verification
    0 references
    quantitative analysis
    0 references
    reactive systems
    0 references
    stochastic bigraphs
    0 references
    Wikidata QID
    Q29544202
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q736791&oldid=18015361"
    Powered by MediaWiki