Location-aided gateway advertisement and discovery protocol for VANets: Proof of correctness.

Azzedine Boukerche, Kaouther Abrougui, Richard Werner Nelem Pazzi

Browse the full LCN paper archive.