Cite Them Right 11th edition - Harvard

Bruse, F., Lange, M. und Florian Bruse and Martin Lange (2021) „Model Checking Timed Recursive CTL“. doi:10.4230/LIPIcs.TIME.2021.12.

Chicago Manual of Style 17th edition (full note)

Bruse, Florian, Martin Lange, und Florian Bruse and Martin Lange. „Model Checking Timed Recursive CTL“, 1. Januar 2021. https://doi.org/10.4230/LIPIcs.TIME.2021.12.

American Psychological Association 7th edition

Bruse, F., Lange, M., & Florian Bruse and Martin Lange. (2021). Model Checking Timed Recursive CTL. https://doi.org/10.4230/LIPIcs.TIME.2021.12

Modern Language Association 9th edition

Bruse, F., M. Lange, und Florian Bruse and Martin Lange. Model Checking Timed Recursive CTL. Januar 2021, https://doi.org/10.4230/LIPIcs.TIME.2021.12.

ISO-690 (author-date, Deutsch)

BRUSE, Florian, Martin LANGE und FLORIAN BRUSE AND MARTIN LANGE, 2021. Model Checking Timed Recursive CTL . 1 Januar 2021. DOI 10.4230/LIPIcs.TIME.2021.12

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.