A
Menu
January 01, 2023 conference-paper Aachen paper

Incremental Property Directed Reachability

Lecture notes in computer science, pp. 208–227

DOI: 10.1007/978-981-99-7584-6_13 OpenAlex

Authors 2

  1. Max Blankestijn Aachen Leiden Institute for Advanced Computer Science

    Leiden University

    Affiliation as printed

    Leiden University, Leiden Institute for Advanced Computer Science, Leiden, The Netherlands

  2. Alfons Laarman corresponding Aachen Leiden Institute for Advanced Computer Science

    Leiden University

    Affiliation as printed

    Leiden University, Leiden Institute for Advanced Computer Science, Leiden, The Netherlands

Cited by 1 stored of 1

1 result

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

References 49