Aditya Putra Pratama; Adhalia H, N. F. . Aljabar Max-Plus: Verifikasi Keamanan Sistem Penjadwalan Keberangkatan Kereta Api: Indonesia. Proximal 2023, 6, 1-11.