Kaouther Abrougui, Azzedine Boukerche, Richard Werner Nelem Pazzi. Context-aware and location-based service discovery protocol for Vehicular Networks: Proof of correctness. In The 35th Annual IEEE Conference on Local Computer Networks, LCN 2010, 10-14 October 2010, Denver, Colorado, USA, Proceedings. pages 858-865, IEEE, 2010. [doi]
Abstract is missing.