A Spanning-Tree-Based Connectivity Model in Finite Wireless Networks and Performance under Correlated Shadowing | IEEE Journals & Magazine | IEEE Xplore