iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://scholar.google.com/scholar?q=Toward Formal Verification of 802.11 MAC Protocols: a Case Study of Applying Petri-nets to Modeling the 802.11 PCF.