Browse by People

Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
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.

This list was generated on Sat Mar 18 18:27:36 2023 GMT.