Performance of a Hidden Markov channel occupancy model for cognitive radio | IEEE Conference Publication | IEEE Xplore