Figure 17From: A Cooperative Congestion Control Approach within VANETs: Formal Verification and Performance Evaluation SAFESPOT European Integrated Project Context. Back to article page