• Modeling and verifying the OLSR protocol using Uppaal 

      Kamali, Mojgan (Master thesis, 2014)
      Wireless Mesh Networks (WMNs) are a popular technology due to their exibility andself-organizing nature that provide support for broadband communication. They areused in a wide range of application areas, such as public ...