34 citations · 60 across the 12 of their papers we have counts for
1 paper · 1 filter
Jérôme Leroux, Grégoire Sutre
Vector addition system with states is an ubiquitous model of computation with extensive applications in computer science. The reachability problem for vector addition systems is ce…