@paves

The Complexity of Reachability in Affine Vector Addition Systems with States

, and . Logical Methods in Computer Science, (July 2021)
DOI: 10.46298/lmcs-17(3:3)2021

Links and resources

Tags