Open Science Research Excellence
Zafar, N. "Construction of Intersection of Nondeterministic Finite Automata using Z Notation". World Academy of Science, Engineering and Technology, International Science Index 16, International Journal of Computer, Electrical, Automation, Control and Information Engineering, (2008), 2(4), 1057 - 1062.