Figure 3From: A Cooperative Congestion Control Approach within VANETs: Formal Verification and Performance Evaluation Node Speed Consideration. Back to article page