A
Menu
August 30, 2025 conference-paper Open access Aachen paper

Probabilistic Counterexamples Through the Ages

Lecture notes in computer science, pp. 174–196

DOI: 10.1007/978-3-031-97439-7_8 Full text (OA) OpenAlex

Authors 3

  1. Erika Ábrahám corresponding Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

  2. Nils Jansen

    Ruhr University Bochum · Radboud University Nijmegen

    Affiliation as printed

    Radboud University, Nijmegen, The Netherlands

    Ruhr-University Bochum, Bochum, Germany

  3. Simon Jantsch

    Siemens (Germany)

    Affiliation as printed

    Siemens EDA, Munich, Germany

Cited by 0 stored of 0

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

References 27