DSpace JSPUI
DSpace preserves and enables easy and open access to all types of digital content including text, images, moving images, mpegs and data sets
Learn More
Author: Sayantan Das
Supervisors: Dr. Pallab Dasgupta and Dr. Partha Pratim Chakrabarti
Department of Computer Science and Engineering
Indian Institute of Technology Kharagpur, India
October, 2006
Supervisors: Dr. Pallab Dasgupta and Dr. Partha Pratim Chakrabarti
Department of Computer Science and Engineering
Indian Institute of Technology Kharagpur, India
October, 2006
Browse
Collection's Items (Sorted by Submit Date in Descending order): 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2006-10 | Formal Analysis of Property Specifications Consistency, Coverage and Synthesis | Das, Sayantan |
Collection's Items (Sorted by Submit Date in Descending order): 1 to 1 of 1