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
Please use this identifier to cite or link to this item:
http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/7457Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Bandyopadhyay, Soumyadip | - |
| dc.date.accessioned | 2017-03-10T12:30:47Z | - |
| dc.date.available | 2017-03-10T12:30:47Z | - |
| dc.date.issued | 2016-12-01 | - |
| dc.identifier.govdoc | NB15651 | - |
| dc.identifier.uri | http://www.idr.iitkgp.ac.in/xmlui/handle/123456789/7457 | - |
| dc.language.iso | en | en |
| dc.publisher | IIT, Kharagpur | en |
| dc.subject | MINANDMAX-P | en |
| dc.subject | MODN | en |
| dc.subject | PRES+ Model | en |
| dc.subject | Equivalence Checking | en |
| dc.subject | Translation Validation | en |
| dc.subject | Path Based Program Analysis | en |
| dc.title | Path Based Equivalence Checking of Petri NET Representation of Programs for Translation Validation | en |
| dc.type | Thesis | en |
| Appears in Collections: | Path Based Equivalence Checking of Petri NET Representation of Programs for Translation Validation | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| NB15651_Abstract.pdf | 80.04 kB | Adobe PDF |  View/Open | |
| NB15651_Thesis.pdf Restricted Access | 9.28 MB | Adobe PDF | View/Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.