Towards a Formal Validation of a Hybrid Multi-Agent Routing Protocol for Ad hoc Networks

Mohamed Amine Riahla, Ryma Abassi, Karim Tamine. Towards a Formal Validation of a Hybrid Multi-Agent Routing Protocol for Ad hoc Networks. IJBDCN, 17(2):1-15, 2021. [doi]

Abstract

Abstract is missing.