↓ Skip to main content

Formal Techniques for Distributed Systems

Overview of attention for book
Attention for Chapter 9: Modelling Probabilistic Wireless Networks
Altmetric Badge


2 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Modelling Probabilistic Wireless Networks
Chapter number 9
Book title
Formal Techniques for Distributed Systems
Published by
Springer, Berlin, Heidelberg, January 2012
DOI 10.1007/978-3-642-30793-5_9
Book ISBNs
978-3-64-230792-8, 978-3-64-230793-5

Andrea Cerone, Matthew Hennessy