Sohel Khan

Publication Activity (10 Years)

Years Active: 2002-2006
Publications (10 Years): 0

Publications

Syed M. S. Islam, Mohammed H. Sqalli, Sohel Khan
Modeling and Formal Verification of DHCP Using SPIN. Int. J. Comput. Sci. Appl. 3 (2) (2006)
Sohel Khan, Abdul Waheed
Modeling and Formal Verification of IMPP. Int. Arab J. Inf. Technol. 2 (3) (2005)
Sohel Khan, Abdul Waheed
Modeling and Formal Verification of IMPP. Software Engineering Research and Practice (2003)
Sarat Pothuri, David W. Petr, Sohel Khan
Characterizing and modeling network traffic variability. ICC (2002)
Logeshwaran Vijayan, Swapan Chakrabarti, David W. Petr, Sohel Khan
Extensions to multifractal wavelet model for synthesizing network traffic. ICC (2002)