TY  - BOOK
AU  - PREETHAM S, SURESH KUMAR D, VINOTH SEELAN D
AU  - 
TI  - A STUDY OF NUSMV MODEL CHECKER
KW  - MODEL CHECKER
ER  -