| |
| 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] |