Alternating Vector Addition Systems with States. - Jean-Baptiste Courtois; Sylvain Schmitz (MFCS (1), 2014)