Analysis of node density and probability of forming a network in military aeronautical Ad Hoc networks | IEEE Conference Publication | IEEE Xplore