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

Now showing items 1-6 of 6

Subject
Equivalence Checking [1]
MINANDMAX-P [1]
MODN [1]
Path Based Program Analysis [1]
PRES+ Model [1]
Translation Validation [1]

Now showing items 1-6 of 6

Search DSpace

Advanced Search

Browse

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

My Account

Login