Aditya Putra Pratama and N. F. . Adhalia H, “Aljabar Max-Plus: Verifikasi Keamanan Sistem Penjadwalan Keberangkatan Kereta Api: Indonesia”, Proximal, vol. 6, no. 2, pp. 1–11, May 2023.