Verifying Communicating Multi-pushdown Systems via Split-Width.

C. Aiswarya, Paul Gastin, K. Narayan Kumar

Browse the full ATVA paper archive.