Artikel,

The Complexity of Reachability in Affine Vector Addition Systems with States

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

Metadaten

Tags

Nutzer

  • @paves

Kommentare und Rezensionen