Exploring Markov models for the allocation of resources for proactive handover in a mobile environment | IEEE Conference Publication | IEEE Xplore