Figure 5From: A Cooperative Congestion Control Approach within VANETs: Formal Verification and Performance Evaluation Structure of a Beacon. Back to article page