GIESL, Jürgen, ASCHERMANN, Cornelius, BROCKSCHMIDT, Marc, EMMES, Fabian, FROHN, Florian, FUHS, Carsten, HENSEL, Jera, OTTO, Carsten, PLÜCKER, Martin, SCHNEIDER-KAMP, Peter, STRÖDER, Thomas, SWIDERSKI, Stephanie und THIEMANN, René, 2017. Analyzing Program Termination and Complexity Automatically with APro VE. Journal of Automated Reasoning. 1 Januar 2017. Vol. 58, no. 1, p. 3-31. DOI 10.1007/s10817-016-9388-y.

Giesl, J., Aschermann, C., Brockschmidt, M., Emmes, F., Frohn, F., Fuhs, C., Hensel, J., Otto, C., Plücker, M., Schneider-Kamp, P., Ströder, T., Swiderski, S., Thiemann, R., 2017. Analyzing Program Termination and Complexity Automatically with APro VE. Journal of Automated Reasoning 58, 3-31. https://doi.org/10.1007/s10817-016-9388-y

Giesl, J., Aschermann, C., Brockschmidt, M., Emmes, F., Frohn, F., Fuhs, C., Hensel, J., Otto, C., Plücker, M., Schneider-Kamp, P., Ströder, T., Swiderski, S., & Thiemann, R. (2017). Analyzing Program Termination and Complexity Automatically with APro VE. Journal of Automated Reasoning, 58(1), 3-31. https://doi.org/10.1007/s10817-016-9388-y

Giesl J, Aschermann C, Brockschmidt M, Emmes F, Frohn F, Fuhs C, Hensel J, Otto C, Plücker M, Schneider-Kamp P, Ströder T, Swiderski S, Thiemann R (2017) Analyzing Program Termination and Complexity Automatically with APro VE.. Journal of Automated Reasoning 58:3-31. https://doi.org/10.1007/s10817-016-9388-y

Giesl, Jürgen/ Aschermann, Cornelius/ Brockschmidt, Marc/ Emmes, Fabian/ Frohn, Florian/ Fuhs, Carsten/ Hensel, Jera/ Otto, Carsten/ Plücker, Martin/ Schneider-Kamp, Peter/ Ströder, Thomas/ Swiderski, Stephanie/ Thiemann, René, Analyzing Program Termination and Complexity Automatically with APro VE., Journal of Automated Reasoning 2017, 3-31.