Salsabila, F., Bukhari, F. and Nurdiati, S. (2024) “PROVING THE CORRECTNESS OF THE EXTENDED SERIAL GRAPH-VALIDATION QUEUE SCHEME IN THE CLIENT-SERVER SYSTEM”, BAREKENG: Jurnal Ilmu Matematika dan Terapan, 18(2), pp. 1359-1368. doi: 10.30598/barekengvol18iss2pp1359-1368.