A Probabilistic Model of File Transfer Time Based on Markov Chain in Vehicular Ad Hoc Networks | IEEE Conference Publication | IEEE Xplore