Reachability Analysis of Pushdown Systems with an Upper Stack.

Adrien Pommellet, Marcio Diaz, Tayssir Touili

Browse the full LATA paper archive.