Sabah Khalid

发表

Ping Wang, Xiaohui Liu, Sabah Khalid, 2007, J. Integr. Bioinform..

Ping Wang, Xiaohui Liu, Sabah Khalid, 2006, J. Integr. Bioinform..

Ping Wang, Xiaohui Liu, Sabah Khalid, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).