Salsabila, F. N.; Bukhari, F.; Nurdiati, S. Mathematical Study for Proving Correctness of the Serial Graph-Validation Queue Scheme. JIMS 2025, 31, 1592.