Double Auction Mechanism for Resource Allocation in Satellite MEC | IEEE Journals & Magazine | IEEE Xplore