Article,

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

Meta data

Tags

Users

  • @paves

Comments and Reviews