The Probabilistic Termination Tool Amber

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

Cham : Springer (2021)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, proceedings / Marieke Huisman, Corina Păsăreanu, Naijun Zhan (eds.)
Seite(n)/Artikel-Nr.: 667-675