The probabilistic termination tool amber

Moosbrugger, Marcel (Corresponding author); Bartocci, Ezio; Katoen, Joost-Pieter; Kovács, Laura

Dordrecht [u.a.] : Springer Science + Business Media B.V (2023)
Fachzeitschriftenartikel

In: Formal methods in system design
Seite(n)/Artikel-Nr.: 20 Seiten

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]