American Psychological Association 6th edition

Vu, F., Happe, C., & Leuschel, M. (2024). Generating interactive documents for domain-specific validation of formal models. International Journal on Software Tools for Technology Transfer, 26(2), 147-168. https://doi.org/10.1007/s10009-024-00739-0

ISO-690 (author-date, English)

VU, Fabian, HAPPE, Christopher und LEUSCHEL, Michael, 2024. Generating interactive documents for domain-specific validation of formal models. International Journal on Software Tools for Technology Transfer. 1 April 2024. Vol. 26, no. 2, p. 147-168. DOI 10.1007/s10009-024-00739-0.

Modern Language Association 9th edition

Vu, F., C. Happe, und M. Leuschel. „Generating Interactive Documents for Domain-Specific Validation of Formal Models.“. International Journal on Software Tools for Technology Transfer, Bd. 26, Nr. 2, April 2024, S. 147-68, https://doi.org/10.1007/s10009-024-00739-0.

Mohr Siebeck - Recht (Deutsch - Österreich)

Vu, Fabian/Happe, Christopher/Leuschel, Michael: Generating interactive documents for domain-specific validation of formal models., International Journal on Software Tools for Technology Transfer 2024, 147-168.

Emerald - Harvard

Vu, F., Happe, C. und Leuschel, M. (2024), „Generating interactive documents for domain-specific validation of formal models.“, International Journal on Software Tools for Technology Transfer, Vol. 26 No. 2, S. 147-168.

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