Ehlers, R., & Khalimov, A. (2024). From LTL to COCOA without Detours.
Style de citation Chicago (17e éd.)Ehlers, Rüdiger, et Ayrat Khalimov. From LTL to COCOA Without Detours. 2024.
Style de citation MLA (9e éd.)Ehlers, Rüdiger, et Ayrat Khalimov. From LTL to COCOA Without Detours. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.