Pritha Mahata

From MaRDI portal
Person:2851069

Available identifiers

zbMath Open mahata.prithaMaRDI QIDQ2851069

List of research outcomes





PublicationDate of PublicationType
Closed, open, and robust timed networks2013-10-02Paper
https://portal.mardi4nfdi.de/entity/Q55034312009-01-15Paper
Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness2007-10-11Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems2005-08-19Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science2005-08-12Paper
https://portal.mardi4nfdi.de/entity/Q48049252003-05-01Paper

Research outcomes over time

This page was built for person: Pritha Mahata

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