Back to Results
First PageMeta Content



Reachability in Two-Dimensional Vector Addition Systems with States is PSPACE-complete Michael Blondin1, 2 Alain Finkel1
Add to Reading List

Document Date: 2016-09-23 11:33:03


Open Document

File Size: 571,41 KB

Share Result on Facebook
UPDATE