A STUDY OF NUSMV MODEL CHECKER (Record no. 72850)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00316nam a22001337a 4500 |
| 100 ## - MAIN ENTRY--AUTHOR NAME | |
| Personal name | PREETHAM S, SURESH KUMAR D, VINOTH SEELAN D |
| 245 ## - TITLE STATEMENT | |
| Title | A STUDY OF NUSMV MODEL CHECKER |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | 52 |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | MODEL CHECKER |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Date of a work | APRIL 2016 |
| 852 ## - LOCATION/CALL NUMBER | |
| Location | CENTRAL LIBRARY |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Project Report |
| 952 ## - LOCATION AND ITEM INFORMATION (KOHA) | |
| Date acquired | 2016-08-09 |
| Home library | Current library | Degree | Accession Number | Koha item type | Department |
|---|---|---|---|---|---|
| Central Library - SSNCE | Central Library - SSNCE | BE | PR2754 | Project Report | CSE |