Salsabila, Fitra, Fahren Bukhari, and Sri Nurdiati. “PROVING THE CORRECTNESS OF THE EXTENDED SERIAL GRAPH-VALIDATION QUEUE SCHEME IN THE CLIENT-SERVER SYSTEM”. BAREKENG: Jurnal Ilmu Matematika dan Terapan 18, no. 2 (May 25, 2024): 1359-1368. Accessed June 30, 2024. https://ojs3.unpatti.ac.id/index.php/barekeng/article/view/12572.