Article citationsMore>>
N. A. Zafar, A. Hussain and A. Ali, “Refinement: Formal Proof of Equivalence in Endomorphisms and Automorphisms over Strongly Connected Automata,” Journal of Software Engineering and Applications, Vol. 2, No. 2, 2009, pp. 77-85.
http://dx.doi.org/10.4236/jsea.2009.22012
has been cited by the following article: