Vehicular Cloud Forming and Task Scheduling for Energy-Efficient Cooperative Computing | IEEE Journals & Magazine | IEEE Xplore