![]() | Up a level |
Number of items: 1.
Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Ciobanu, Radu, Mayr, Richard and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2018)
Universal Safety for Timed Petri Nets is PSPACE-complete.
In: CONCUR 2018, 2018-9-4 - ?, Beijing, China.