JSEA> Vol.2 No.2, July 2009

 

Copyright © 2009 Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

 

How to Cite this Article

---

Zafar, N. , Hussain, A. and Ali, A. (2009) Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata. Journal of Software Engineering and Applications, 2, 77-85. doi: 10.4236/jsea.2009.22012.

 

Download citation as EndNote