88 citations · 281 across the 25 of their papers we have counts for
1 paper · 2 filters
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…