Formal convergence analysis for bio-inspired topology control in MANETs | IEEE Conference Publication | IEEE Xplore