Azzedine Boukerche, Kaouther Abrougui, Richard Werner Nelem Pazzi. Location-aided gateway advertisement and discovery protocol for VANets: Proof of correctness. In LCN 2009, The 34th Annual IEEE Conference on Local Computer Networks, LCN 2009, 20-23 October 2009, Zurich, Switzerland, Proceedings. pages 778-785, IEEE, 2009. [doi]
Abstract is missing.