A
Menu
January 01, 2021 conference-paper Aachen paper

The Probabilistic Termination Tool Amber

Lecture notes in computer science, pp. 667–675

DOI: 10.1007/978-3-030-90870-6_36 OpenAlex

Authors 4

  1. Marcel Moosbrugger corresponding

    TU Wien

    Affiliation as printed

    TU Wien, Vienna, Austria

  2. Ezio Bartocci

    TU Wien

    Affiliation as printed

    TU Wien, Vienna, Austria

  3. Joost-Pieter Katoen Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

  4. Laura Kovács

    TU Wien

    Affiliation as printed

    TU Wien, Vienna, Austria

Cited by 15 stored of 15

15 results

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

References 20

20 results