Path verification for robust, instantaneous loop-free routing in ad hoc networks | IEEE Conference Publication | IEEE Xplore