Fingerprint
Dive into the research topics of 'Universal Safety for Timed Petri Nets is PSPACE-complete'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Universal Safety for Timed Petri Nets is PSPACE-complete
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr, Patrick Totzke
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution