Sohel Khan

	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

Coauthor Index

1	Syed M. S. Islam	[3]
2	Mohammed H. Sqalli	[3]
3	Abdul Waheed	[1] [2]

Colors in the list of coauthors