IO Group, Inc. v. Veoh Networks, Inc. - Document - PDFSEARCH.IO

First Page	Meta 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

UPDATE

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 List