Sciweavers

The reachability problem for branching vector addition systems requires doubly-exponential space
Recent Google, Yahoo, MSN search queries leading to this post
The reachability problem for branching vector addition systems requires doubly-exponential space
Data is not available yet.