Analysis of optimal cognitive radio channel allocation with finite user population | IEEE Conference Publication | IEEE Xplore