Back to Results
First PageMeta Content



Reachability in Two-Dimensional Vector Addition Systems with States is PSPACE-complete Michael Blondin∗†‡ , Alain Finkel†§ , Stefan G¨oller†¶k , Christoph Haase†§k and Pierre McKenzie∗†∗∗ ∗ DIRO
Add to Reading List

Document Date: 2016-09-23 11:32:15


Open Document

File Size: 399,53 KB

Share Result on Facebook