Alternating Vector Addition Systems with States.

Jean-Baptiste Courtois, Sylvain Schmitz

Browse the full MFCS paper archive.