DMCA

Formal verification and simulation for performance analysis for probabilistic broadcast protocols (2006)

Cached

Download Links

by Ansgar Fehnker , Peng Gao
Venue:In Proc. 5th Conf. on Ad-Hoc, Mobile, and Wireless Networks (ADHOC-NOW’06), volume 4104 of LNCS
Citations:30 - 5 self