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.