A
Menu
January 01, 2020 conference-paper Open access Aachen paper

Bayesian Inference by Symbolic Model Checking

Lecture notes in computer science, pp. 115–133

DOI: 10.1007/978-3-030-59854-9_9 Full text (OA) OpenAlex

Authors 2

  1. Bahare Salmani corresponding Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

    RWTH Aachen University

  2. Joost-Pieter Katoen Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

    RWTH Aachen University

Cited by 10 stored of 10

10 results

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

References 44