Reachability in Two−Dimensional Vector Addition Systems with States Is PSPACE−Complete
Michael Blondin‚ Alain Finkel‚ Stefan Göller‚ Christoph Haase and Pierre McKenzie
Book Title
Logic in Computer Science‚ LICS
Pages
32–43
Publisher
IEEE
Year
2015
Michael Blondin‚ Alain Finkel‚ Stefan Göller‚ Christoph Haase and Pierre McKenzie