Spectrum Trading in Cognitive Radio Networks: An Agent-Based Model under Demand Uncertainty | IEEE Journals & Magazine | IEEE Xplore