A Cooperative Congestion Control Approach within VANETs: Formal Verification and Performance Evaluation

Mohamed Salah Bouassida, Mohamed Shawky. A Cooperative Congestion Control Approach within VANETs: Formal Verification and Performance Evaluation. EURASIP J. Wireless Comm. and Networking, 2010, 2010. [doi]

Abstract

Abstract is missing.