Multi-pushdown systems with budgets.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman

Browse the full FMCAD paper archive.