88 citations · 281 across the 25 of their papers we have counts for
1 paper · 2 filters
leroux jerome
The reachability problem for Vector Addition Systems (VASs) is a central problem of net theory. The general problem is known to be decidable by algorithms exclusively based on the…