| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2006 | |
|---|---|---|
| 3 |      | Syed M. S. Islam, Mohammed H. Sqalli, Sohel Khan: Modeling and Formal Verification of DHCP Using SPIN. IJCSA 3(2): 145-159 (2006) |
| 2005 | ||
| 2 | | Sohel Khan, Abdul Waheed: Modeling and Formal Verification of IMPP. Int. Arab J. Inf. Technol. 2(3): 192-298 (2005) |
| 2003 | ||
| 1 |  | Sohel Khan, Abdul Waheed: Modeling and Formal Verification of IMPP. Software Engineering Research and Practice 2003: 522-528 |
| 1 | Syed M. S. Islam | [3] |
| 2 | Mohammed H. Sqalli | [3] |
| 3 | Abdul Waheed | [1] [2] |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page