Aljabar Max-Plus: Verifikasi Keamanan Sistem Penjadwalan Keberangkatan Kereta Api: Indonesia. Proximal 2023, 6 (2), 1-11. https://doi.org/10.30605/proximal.v6i2.2447.