“Aljabar Max-Plus: Verifikasi Keamanan Sistem Penjadwalan Keberangkatan Kereta Api: Indonesia”. Proximal: Jurnal Penelitian Matematika Dan Pendidikan Matematika, vol. 6, no. 2, May 2023, pp. 1-11, https://doi.org/10.30605/proximal.v6i2.2447.