![]() | ![]() |
2008 | ||
---|---|---|
2 | EE | Nazir Ahmad Zafar, Ajmal Hussain, Amir Ali: Formal Proof of Equivalence in Endomorphisms and Automorphisms over Strongly Connected Automata. CSSE (2) 2008: 792-795 |
1 | Nazir Ahmad Zafar, Nabeel Sabir, Amir Ali: Formal Construction of Deterministic Finite Automata Recognizing Intersection of Regular Languages. Software Engineering Research and Practice 2008: 695-701 |
1 | Ajmal Hussain | [2] |
2 | Nabeel Sabir | [1] |
3 | Nazir Ahmad Zafar | [1] [2] |