Ranran Tao

From MaRDI portal
Person:2215069

Available identifiers

zbMath Open tao.ranranMaRDI QIDQ2215069

List of research outcomes





PublicationDate of PublicationType
Deadlock detection-oriented unfolding of unbounded Petri nets2020-12-10Paper

Research outcomes over time

This page was built for person: Ranran Tao