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

BDDs Strike Back

Lecture notes in computer science, pp. 713–732

DOI: 10.1007/978-3-031-06773-0_38 Full text (OA) OpenAlex

Authors 5

  1. Daniel Basgöze Aachen Software Modeling and Verification

    RWTH Aachen University

    Affiliation as printed

    Software Modeling and Verification, RWTH Aachen University, Aachen, Germany

  2. Matthias Volk corresponding

    University of Twente

    Affiliation as printed

    Formal Methods and Tools, University of Twente, Enschede, The Netherlands

  3. Joost-Pieter Katoen Aachen Software Modeling and Verification

    RWTH Aachen University · University of Twente

    Affiliation as printed

    Formal Methods and Tools, University of Twente, Enschede, The Netherlands

    Software Modeling and Verification, RWTH Aachen University, Aachen, Germany

  4. Shahid Ali Khan Aachen Software Modeling and Verification

    RWTH Aachen University

    Affiliation as printed

    Software Modeling and Verification, RWTH Aachen University, Aachen, Germany

  5. Mariëlle I. A. Stoelinga

    Radboud University Nijmegen · University of Twente

    Affiliation as printed

    Department of Software Science, Radboud University, Nijmegen, The Netherlands

    Formal Methods and Tools, University of Twente, Enschede, The Netherlands

Cited by 20 stored of 20

20 results

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

References 50