LANGE, Martin, 2024. Model checking timed recursive CTL. Amsterdam: Elsevier.
Elsevier - Harvard (with titles)Lange, M., 2024. Model checking timed recursive CTL, Information and Computation. Elsevier, Amsterdam. https://doi.org/10.17170/kobra-2024080710640
American Psychological Association 7th editionLange, M. (ca. 2024). Model checking timed recursive CTL [Cd]. In Information and Computation. Elsevier. https://doi.org/10.17170/kobra-2024080710640
Springer - Basic (author-date)Lange M (2024) Model checking timed recursive CTL. Elsevier, Amsterdam
Juristische Zitierweise (Stüber) (Deutsch)Lange, Martin, Model checking timed recursive CTL, Amsterdam 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.