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

First Page		Document Content
Date: 2016-09-23 11:33:03		Reachability in Two-Dimensional Vector Addition Systems with States is PSPACE-complete Michael Blondin1, 2 Alain Finkel1 Add to Reading List Source URL: www7.in.tum.de Download Document from Source Website File Size: 571,41 KB Share Document on Facebook