Model-Checking Bounded Multi-Pushdown Systems.

Kshitij Bansal, Stphane Demri

Browse the full CSR paper archive.