Modeling and verification of chess game using NuSMV

Vikram Saralaya, J. K. Kishore, Sateesh Reddy, Radhika M. Pai, Sanjay Singh

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Modeling and verification of chess game using NuSMV'. Together they form a unique fingerprint.

INIS

Computer Science