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