Throughput maximization under guaranteed dissemination coverage for VANET systems | IEEE Conference Publication | IEEE Xplore