Salsabila, F., Bukhari, F., & 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), 1359-1368. https://doi.org/10.30598/barekengvol18iss2pp1359-1368