"Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata"
written by Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali,
published by Journal of Software Engineering and Applications, Vol.3 No.8, 2010
has been cited by the following article(s):
  • Google Scholar
  • CrossRef
[1] Computing Reflections
2018
[2] An UML+ Z Framework For Validating And Verifying the Static Aspect of Safety Critical System
Procedia Computer Science, 2016
[3] Possible Improvements in UML Behavior Diagrams
Computational Science and Computational Intelligence (CSCI), 2014 International Conference on. Vol. 2. IEEE, 2014
[4] Model Analysis of Equivalence Classes in UML Events Relations
Journal of Software Engineering and Applications, 2013