Vain, J., Tsiopoulos, L., Walden, M., & Benterki, A. S. (2025). Constraint Programming-Based Verification of COLREG Safety. IEEE journal of oceanic engineering, 50(4), 2797-2821. https://doi.org/10.1109/JOE.2025.3592285
Chicago-Zitierstil (17. Ausg.)Vain, Juri, Leonidas Tsiopoulos, Marina Walden, und Aboubaker Seddiq Benterki. "Constraint Programming-Based Verification of COLREG Safety." IEEE Journal of Oceanic Engineering 50, no. 4 (2025): 2797-2821. https://doi.org/10.1109/JOE.2025.3592285.
MLA-Zitierstil (9. Ausg.)Vain, Juri, et al. "Constraint Programming-Based Verification of COLREG Safety." IEEE Journal of Oceanic Engineering, vol. 50, no. 4, 2025, pp. 2797-2821, https://doi.org/10.1109/JOE.2025.3592285.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.