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

Search results