[Back]


Talks and Poster Presentations (with Proceedings-Entry):
M. Moosbrugger, E. Bartocci, J. Katoen, L. Kovacs:
"The Probabilistic Termination Tool Amber";
accepted as talk for: FM 2021: the 24th international symposium of Formal Methods, China; 2021-11-20 - 2021-11-25; in: "Proc. of FM 2021: the 24th international symposium of Formal Methods", (2021).

Created from the Publication Database of the Vienna University of Technology.