IDR Home
→
2. Ph.D Theses of IIT Kharagpur
→
Computer Science & Engineering
→
Path Based Equivalence Checking of Petri NET Representation of Programs for Translation Validation
→
Browsing Path Based Equivalence Checking of Petri NET Representation of Programs for Translation Validation by Subject

Browsing Path Based Equivalence Checking of Petri NET Representation of Programs for Translation Validation by Subject "PRES+ Model"

Now showing items 1-1 of 1

Path Based Equivalence Checking of Petri NET Representation of Programs for Translation Validation

Bandyopadhyay, Soumyadip (IIT, Kharagpur, 2016-12-01)

Now showing items 1-1 of 1

Search DSpace

Advanced Search

Browse

All of DSpace
This Collection
- By Issue Date
- Authors
- Titles
- Subjects

My Account

Login