- Record: found
- Abstract: not found
- Book Chapter: not found
Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references14
- Record: found
- Abstract: not found
- Article: not found
Performance analysis of the IEEE 802.11 distributed coordination function
G. Bianchi (2000)
- Record: found
- Abstract: not found
- Book Chapter: not found
Model checking of probabilistic and nondeterministic systems
Andrea Bianco, Luca Alfaro (1995)