Items where Author is "Saralaya, Vikram"
Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.

Conference or Workshop Item

Saralaya, Vikram and Kishore, J K and Reddy, Sateesh and Singh, Sanjay (2011) Modeling and Verification of Server Aided Verification Protocol Using NuSMV. In: First International Conference on Computer Science, Engineering and Information Technology (CCSEIT-2011), Tirunelveli, India.

Saralaya, Vikram and Kishore, J K and Reddy, Sateesh and Pai, Radhika M and Singh, Sanjay (2011) Modeling and Verification of Chess Game using NuSMV. In: Advances in Computing and Communications, July 22-24, 2011, Kochi, India.

Kumar, Preetham and Saralaya, Vikram and Vishal, Vivek and Choudhary, Murari S (2011) Parallel fp-tree for mining negative association rules. In: International Conference on Computer Engineering and Technology, June 17-19, 2011, Kuala Lumpur , Malaysia.

This list was generated on Mon Jan 24 14:42:56 2022 UTC.