Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification.

Savas Konur, Michael Fisher

Browse the full VTC paper archive.