Ideal Decompositions for Vector Addition Systems (Invited Talk).

Jrme Leroux, Sylvain Schmitz

Browse the full STACS paper archive.