88 citations · 281 across the 25 of their papers we have counts for
1 paper · 2 filters
Jérôme Leroux, Sylvain Schmitz
The reachability problem in vector addition systems is a central question, not only for the static verification of these systems, but also for many inter-reducible decision problem…