On the Properties of Double Auction-based Models for Spectrum Management in Cognitive Radio Networks | IEEE Conference Publication | IEEE Xplore