Cooperative Resource Sharing and Pricing for Proactive Dynamic Spectrum Access via Nash Bargaining Solution | IEEE Journals & Magazine | IEEE Xplore