2018

• Wojciech Czerwiński, Piotr Hofman and Georg Zetzsche, Unboundedness Problems for Languages of Vector Addition Systems, in: 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic, 2018, p. 119:1–119:15.see in PBN