ADITYA PUTRA PRATAMA; ADHALIA H, Nurul Fuady. Aljabar Max-Plus: Verifikasi Keamanan Sistem Penjadwalan Keberangkatan Kereta Api: Indonesia. Proximal: Jurnal Penelitian Matematika dan Pendidikan Matematika, [S. l.], v. 6, n. 2, p. 1–11, 2023. DOI: 10.30605/proximal.v6i2.2447. Disponível em: https://www.e-journal.my.id/proximal/article/view/2447. Acesso em: 7 jul. 2025.