Stylianos Georgoulas, Klaus Moessner, Demos Eracleous, Michele Nati. Formal verification of the cooperative behaviour of network nodes for routing and context dissemination. In 2012 Future Network & Mobile Summit, Berlin, Germany, July 4-6, 2012. pages 1-9, IEEE, 2012. [doi]
Abstract is missing.