Global Reachability in Bounded Phase Multi-stack Pushdown Systems.

Anil Seth

Browse the full CAV paper archive.