Towards Formalization of Wireless Vehicular Networking Download pdf License: CC-2.5 Submitted by Ramneet Kaur on Mon, 04/20/2020 - 09:27