Vikram Saralaya

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Vikram Saralaya, J. K. Kishore, Sateesh Reddy, Radhika M. Pai, Sanjay Singh
Modeling and Verification of Chess Game Using NuSMV. ACC (2) (2011)