![](https://www.pdfsearch.io/img/3b59a9a683d0c12e7601a6e0da389315.jpg) Date: 2016-09-23 11:32:15
| | 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∗†∗∗ ∗ DIROAdd to Reading ListSource URL: www7.in.tum.deDownload Document from Source Website File Size: 399,53 KBShare Document on Facebook
|