Palmas, M., Klauck, M., Lange, R., Ghiorzi, E. und Tacchella, A. (2025) „Translating Behavior Trees to Petri Nets for Model Checking“, in. doi:10.1109/MODELS67397.2025.00020.
Chicago Manual of Style 17th edition (full note)Palmas, Matteo, Michaela Klauck, Ralph Lange, Enrico Ghiorzi, und Armando Tacchella. „Translating Behavior Trees to Petri Nets for Model Checking“. In . https://doi.org/10.1109/MODELS67397.2025.00020.
American Psychological Association 7th editionPalmas, M., Klauck, M., Lange, R., Ghiorzi, E., & Tacchella, A. (2025, Oktober 5). Translating Behavior Trees to Petri Nets for Model Checking. https://doi.org/10.1109/MODELS67397.2025.00020
Modern Language Association 9th editionPalmas, M., M. Klauck, R. Lange, E. Ghiorzi, und A. Tacchella. Translating Behavior Trees to Petri Nets for Model Checking. 2025, https://doi.org/10.1109/MODELS67397.2025.00020.
ISO-690 (author-date, Deutsch)PALMAS, Matteo, Michaela KLAUCK, Ralph LANGE, Enrico GHIORZI und Armando TACCHELLA, 2025. Translating Behavior Trees to Petri Nets for Model Checking. In: . 5 Oktober 2025