Modeling an Opportunistic Spectrum Sharing System with a Correlated Arrival Process | IEEE Conference Publication | IEEE Xplore