A
Menu
January 01, 2020 conference-paper Aachen paper

Probabilistic Model Checking of AODV

Lecture notes in computer science, pp. 54–73

DOI: 10.1007/978-3-030-59854-9_6 OpenAlex

Authors 2

  1. Mojgan Kamali corresponding Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

  2. Joost-Pieter Katoen Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

Cited by 5 stored of 5

5 results

No patents citing this paper on Lens.org (checked 2026-10-06).

References 44