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:
Related Articles:
-
Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali
-
Maharavo Randrianarivony
-
George S. Levy
-
Camila F. N. da Silva, Ana Paula B. Dias, Ana Paula R. Santana, Jéssica S. Pizzo, Fernando M. de Souza, Angélica M. Lazarin, Rosana L. Sernaglia, Elza I. S. Andreotti
-
Hideki Kurokawa, Hayato Namoto, Atsuko Horinouchi, Mitsuhiko Sato, Mitsuki Usui, Hitoshi Ogihara, Hiroshi Miura