GIESL, Jürgen, BROCKSCHMIDT, Marc, EMMES, Fabian, FROHN, Florian, FUHS, Carsten, OTTO, Carsten, PLÜCKER, Martin, SCHNEIDER-KAMP, Peter, STRÖDER, Thomas, SWIDERSKI, Stephanie und THIEMANN, René, 2014. Proving Termination of Programs Automatically with APro VE.
Elsevier - Harvard (with titles)Giesl, J., Brockschmidt, M., Emmes, F., Frohn, F., Fuhs, C., Otto, C., Plücker, M., Schneider-Kamp, P., Ströder, T., Swiderski, S., Thiemann, R., 2014. Proving Termination of Programs Automatically with APro VE. https://doi.org/10.1007/978-3-319-08587-6_13
American Psychological Association 7th editionGiesl, J., Brockschmidt, M., Emmes, F., Frohn, F., Fuhs, C., Otto, C., Plücker, M., Schneider-Kamp, P., Ströder, T., Swiderski, S., & Thiemann, R. (2014). Proving Termination of Programs Automatically with APro VE. https://doi.org/10.1007/978-3-319-08587-6_13
Springer - Basic (author-date)Giesl J, Brockschmidt M, Emmes F, Frohn F, Fuhs C, Otto C, Plücker M, Schneider-Kamp P, Ströder T, Swiderski S, Thiemann R (2014) Proving Termination of Programs Automatically with APro VE
Juristische Zitierweise (Stüber) (Deutsch)Giesl, Jürgen/ Brockschmidt, Marc/ Emmes, Fabian/ Frohn, Florian/ Fuhs, Carsten/ Otto, Carsten/ Plücker, Martin/ Schneider-Kamp, Peter/ Ströder, Thomas/ Swiderski, Stephanie/ Thiemann, René, Proving Termination of Programs Automatically with APro VE., 2014.