Mathematical analysis of self-pruning and a new dynamic probabilistic broadcast for MANETs | IEEE Conference Publication | IEEE Xplore