Ehlers, R., & Khalimov, A. (2024). From LTL to COCOA without Detours.
Chicago-Zitierstil (17. Ausg.)Ehlers, Rüdiger, und Ayrat Khalimov. From LTL to COCOA Without Detours. 2024.
MLA-Zitierstil (9. Ausg.)Ehlers, Rüdiger, und Ayrat Khalimov. From LTL to COCOA Without Detours. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.