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

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