Chittaranjan Mandal

From MaRDI portal
Person:520249

Available identifiers

zbMath Open mandal.chittaranjanMaRDI QIDQ520249

List of research outcomes





PublicationDate of PublicationType
Translation validation of coloured Petri net models of programs on integers2022-10-24Paper
https://portal.mardi4nfdi.de/entity/Q50081662021-08-26Paper
Equivalence checking of Petri net models of programs using static and dynamic cut-points2019-05-21Paper
A path construction algorithm for translation validation using PRES+ models2017-12-15Paper
Deriving bisimulation relations from path based equivalence checkers2017-04-03Paper

Research outcomes over time

This page was built for person: Chittaranjan Mandal

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:520249&oldid=7660225"
Powered by MediaWiki