Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 1.


Totzke, patrick, Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Ciobanu, Radu and Mayr, Richard
(2018) Universal Safety for Timed Petri Nets is PSPACE-complete. In: CONCUR 2018, 2018-09-04 - ?, Beijing, China.

This list was generated on Sun Feb 17 06:07:02 2019 GMT.