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

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.

This list was generated on Tue Oct 4 11:31:35 2022 UTC.