A
Menu
January 01, 2021 conference-paper Aachen paper

Scalable Reliability Analysis by Lazy Verification

Lecture notes in computer science, pp. 180–197

DOI: 10.1007/978-3-030-76384-8_12 OpenAlex

Authors 4

  1. Shahid Ali Khan 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

  3. Matthias Volk Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

  4. Marc Bouissou

    Électricité de France (France)

    Affiliation as printed

    Électricité de France, Palaiseau, France

Cited by 5 stored of 5

5 results

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

References 33