Reachability for Bounded Branching VASS.

Filip Mazowiecki, Michal Pilipczuk

Browse the full CONCUR paper archive.