Bruse, F., Lange, M., Lozes, E. und Florian Bruse and Martin Lange and Etienne Lozes (2022) „The Tail-Recursive Fragment of Timed Recursive CTL“. doi:10.4230/LIPIcs.TIME.2022.5.
Chicago Manual of Style 17th edition (full note)Bruse, Florian, Martin Lange, Etienne Lozes, und Florian Bruse and Martin Lange and Etienne Lozes. „The Tail-Recursive Fragment of Timed Recursive CTL“, 1. Januar 2022. https://doi.org/10.4230/LIPIcs.TIME.2022.5.
American Psychological Association 7th editionBruse, F., Lange, M., Lozes, E., & Florian Bruse and Martin Lange and Etienne Lozes. (2022). The Tail-Recursive Fragment of Timed Recursive CTL. https://doi.org/10.4230/LIPIcs.TIME.2022.5
Modern Language Association 9th editionBruse, F., M. Lange, E. Lozes, und Florian Bruse and Martin Lange and Etienne Lozes. The Tail-Recursive Fragment of Timed Recursive CTL. Januar 2022, https://doi.org/10.4230/LIPIcs.TIME.2022.5.
ISO-690 (author-date, Deutsch)BRUSE, Florian, Martin LANGE, Etienne LOZES und FLORIAN BRUSE AND MARTIN LANGE AND ETIENNE LOZES, 2022. The Tail-Recursive Fragment of Timed Recursive CTL . 1 Januar 2022. DOI 10.4230/LIPIcs.TIME.2022.5