Temporal Correlation and Joint Coverage for Finite 3-D UAV Networks With Blockage Effects | IEEE Journals & Magazine | IEEE Xplore