Items where Author is "Khan, Abdul Sahid"Group by: Item Type | No Grouping Jump to: Conference or Workshop Item Number of items: 1. Conference or Workshop ItemKhan, 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. |
| Login | Create Account |
![[up]](/style/images/multi_up.png)
Up a level