Aditya Putra Pratama and Adhalia H, N.F. 2023. Aljabar Max-Plus: Verifikasi Keamanan Sistem Penjadwalan Keberangkatan Kereta Api: Indonesia. Proximal: Jurnal Penelitian Matematika dan Pendidikan Matematika. 6, 2 (May 2023), 1–11. DOI:https://doi.org/10.30605/proximal.v6i2.2447.