Up a level |
Number of items: 1.
Hofman, Piotr, Lasota, Slawomir, Mayr, Richard and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2016)
Simulation Problems Over One-Counter Nets.
Logical Methods in Computer Science, 12 (1).
p. 1.
Up a level |
Hofman, Piotr, Lasota, Slawomir, Mayr, Richard and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2016)
Simulation Problems Over One-Counter Nets.
Logical Methods in Computer Science, 12 (1).
p. 1.
Research Support, University of Liverpool
Sydney Jones Library, Abercromby Square
Liverpool
L69 3DA,
UK
+44 (0)151 794 0000