Cite Them Right 11th edition - Harvard

Lange, M. (2024) Model checking timed recursive CTL [cd], Information and Computation. Amsterdam: Elsevier. doi:10.17170/kobra-2024080710640.

Chicago Manual of Style 17th edition (full note)

Lange, Martin. Model checking timed recursive CTL. Cd. Information and Computation. Amsterdam: Elsevier, [2024?], Amsterdam: Elsevier, [2024?]. https://doi.org/10.17170/kobra-2024080710640.

American Psychological Association 7th edition

Lange, M. (ca. 2024). Model checking timed recursive CTL [Cd]. In Information and Computation. Elsevier. https://doi.org/10.17170/kobra-2024080710640

Modern Language Association 9th edition

Lange, M. „Model checking timed recursive CTL“. Information and Computation, cd, Elsevier, 2024, https://doi.org/10.17170/kobra-2024080710640.

ISO-690 (author-date, Deutsch)

LANGE, Martin, 2024. Model checking timed recursive CTL. Amsterdam: Elsevier

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