Salsabila, Fitra, Fahren Bukhari, and Sri Nurdiati. 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-68. https://doi.org/10.30598/barekengvol18iss2pp1359-1368.