Items where Author is "Khan, Abdul Sahid"

Group by: Item Type | No Grouping

Number of items: 1.

Khan, Abdul Sahid ; Mukund, Madhavan ; Suresh, S. P. (2005) Generic verification of security protocols In: 12th International SPIN Workshop on Model Checking of Software, 22-24 Aug 2005, San Francisco, CA, USA.

This list was generated on Sat Apr 4 08:59:44 2026 UTC.