2018

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