The Probabilistic Termination Tool Amber

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

Cham : Springer International Publishing (2021)
Contribution to a book, Contribution to a conference proceedings

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

Identifier