Fingerprint
Dive into the research topics of 'Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
Parosh Aziz Abdulla, Pritha Mahata, Richard Mayr
Research output: Contribution to journal › Article › peer-review