Ajmal Hussain

Publication Activity (10 Years)

Years Active: 2008-2010
Publications (10 Years): 0

Publications

Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali
Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata. J. Softw. Eng. Appl. 3 (8) (2010)
Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali
Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata. J. Softw. Eng. Appl. 2 (2) (2009)
Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali
Formal Proof of Equivalence in Endomorphisms and Automorphisms over Strongly Connected Automata. CSSE (2) (2008)