A detection probability based radio environment mapping technique for cognitive high density fixed satellite systems | IEEE Conference Publication | IEEE Xplore