IDR - IIT Kharagpur

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

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

Order: Results:

Search DSpace


Advanced Search

Browse

My Account