|
[FG06]
A. Fehnker and P. Gao.
Formal Verification and Simulation for Performance Analysis for Probabilistic Broadcast Protocols.
In Proc. 5th International Conference on Ad-Hoc, Mobile, and Wireless Networks (ADHOC-NOW'06), volume 4104 of LNCS, pages 128-141, Springer.
2006.
[bib]
http://www.cse.unsw.edu.au/~ansgar/
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://www.cse.unsw.edu.au/~ansgar/
|