“Aljabar Max-Plus: Verifikasi Keamanan Sistem Penjadwalan Keberangkatan Kereta Api: Indonesia” (2023) Proximal: Jurnal Penelitian Matematika dan Pendidikan Matematika, 6(2), pp. 1–11. doi:10.30605/proximal.v6i2.2447.