APA (7th ed.) Citation

Moosbrugger, M., Bartocci, E., Katoen, J., & Kovács, L. (2022). The probabilistic termination tool amber. Formal Methods in System Design, 61(1), 90. https://doi.org/10.1007/s10703-023-00424-z

Chicago Style (17th ed.) Citation

Moosbrugger, Marcel, Ezio Bartocci, Joost-Pieter Katoen, and Laura Kovács. "The Probabilistic Termination Tool Amber." Formal Methods in System Design 61, no. 1 (2022): 90. https://doi.org/10.1007/s10703-023-00424-z.

MLA (9th ed.) Citation

Moosbrugger, Marcel, et al. "The Probabilistic Termination Tool Amber." Formal Methods in System Design, vol. 61, no. 1, 2022, p. 90, https://doi.org/10.1007/s10703-023-00424-z.