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 Mon Sep 4 08:35:16 2023 BST.