154
click to vote
LICS
2009
IEEE
16 years 17 hour ago
2009
IEEE
The reachability problem for Vector Addition Systems (VASs) is a central problem of net theory. The general problem is known decidable by algorithms exclusively based on the class...