Model Checking Lossy Vector Addition Systems.

Ahmed Bouajjani, Richard Mayr

Browse the full STACS paper archive.