"Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata"
written by Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali,
published by Journal of Software Engineering and Applications, Vol.2 No.2, 2009
has been cited by the following article(s):
  • Google Scholar
  • CrossRef
[1] Model Analysis of Equivalence Classes in UML Events Relations
Journal of Software Engineering and Applications, 2013
[2] Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata
Journal of Software Engineering and Applications, 2010