SALSABILA, F.; BUKHARI, F.; NURDIATI, S. PROVING THE CORRECTNESS OF THE EXTENDED SERIAL GRAPH-VALIDATION QUEUE SCHEME IN THE CLIENT-SERVER SYSTEM. BAREKENG: Jurnal Ilmu Matematika dan Terapan, v. 18, n. 2, p. 1359-1368, 25 maio 2024.