Acceleration in Multi-PushDown Systems.

Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan

Browse the full TACAS paper archive.