Aditya Putra Pratama, and Nurul Fuady Adhalia H. “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, doi:10.30605/proximal.v6i2.2447.