Moosbrugger, M., Bartocci, E., Katoen, J., & Kovács, L. (2021). Automated Termination Analysis of Polynomial Probabilistic Programs. Programming Languages and Systems.
Chicago-стиль цитированияMoosbrugger, Marcel, Ezio Bartocci, Joost-Pieter Katoen, and Laura Kovács. "Automated Termination Analysis of Polynomial Probabilistic Programs." Programming Languages and Systems 2021.
MLA-цитированиеMoosbrugger, Marcel, Ezio Bartocci, Joost-Pieter Katoen, and Laura Kovács. "Automated Termination Analysis of Polynomial Probabilistic Programs." Programming Languages and Systems 2021.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.