IDR - IIT Kharagpur

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

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

 

Recent Submissions