Dynamic spectrum leasing for beamforming cognitive radio networks using network coding | IEEE Conference Publication | IEEE Xplore