New Pumping Technique for 2-Dimensional VASS

Czerwinski, Wojciech; Lasota, Slawomir; Löding, Christof; Piórkowski, Radoslaw

Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, August (2019)
Contribution to a book, Contribution to a conference proceedings

In: 44th International Symposium on Mathematical Foundations of Computer Science : MFCS 2019, August 26-30, 2019, Aachen, Germany / edited by Peter Rossmanith, Pinar Heggernes, Joost-Pieter Katoen
Page(s)/Article-Nr.: 14 pages

Identifier