Model Checking Coverability Graphs of Vector Addition Systems.

Michel Blockelet, Sylvain Schmitz

Browse the full MFCS paper archive.