Up a level |
Blondin, Michael, Englert, Matthias, Finkel, Alain, Goeller, Stefan, Haase, Christoph, Lazic, Ranko, Mckenzie, Pierre and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2021)
The Reachability Problem for Two-Dimensional Vector Addition Systems with States.
JOURNAL OF THE ACM, 68 (5).
pp. 1-43.
Englert, Matthias, Lazic, Ranko S and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2016)
Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete.
In: 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016-7-5 - 2016-7-8, ’16, New York, NY, USA, July 5-8, 2016.