Computational analysis of an auction for licensed and unlicensed use of spectrum | IEEE Conference Publication | IEEE Xplore