Abduldaim, Areej M.
"Algebraic Verification Algorithm" <em>International Journal of System Modeling and Simulation</em> [Online], Volume 3 Number 1 (30 March 2018)