Skip to main content

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