Abduldaim, Areej M.
"Algebraic Verification Algorithm." <em>International Journal of System Modeling and Simulation</em> [Online], 3.1 (2018): 7-11. Web. 25 Sep. 2026