Performance Analysis of End-to-End LEO Satellite-Aided Shore-to-Ship Communications: A Stochastic Geometry Approach | IEEE Journals & Magazine | IEEE Xplore