A
Menu
January 01, 2020 conference-paper Aachen paper

Symbolic Model Checking with Sentential Decision Diagrams

Lecture notes in computer science, pp. 124–142

DOI: 10.1007/978-3-030-62822-2_8 OpenAlex

Authors 2

  1. Lieuwe Vinkhuijzen corresponding Aachen

    Leiden University

    Affiliation as printed

    Leiden University, Leiden, The Netherlands

  2. Alfons Laarman Aachen

    Leiden University

    Affiliation as printed

    Leiden University, Leiden, The Netherlands

Cited by 5 stored of 5

5 results

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

References 44