70 citations · 123 across the 26 of their papers we have counts for
1 paper · 1 filter
Florian Zuleger
Vector addition systems are an important model in theoretical computer science and have been used in a variety of areas. In this paper, we consider vector addition systems with sta…