New Pumping Technique for 2-Dimensional VASS.

Wojciech Czerwinski, Slawomir Lasota, Christof Lding, Radoslaw Pirkowski

Browse the full MFCS paper archive.