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
Citace podle Chicago (17th ed.)Vain, Juri, Leonidas Tsiopoulos, Marina Walden, a 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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..