Regular symbolic analysis of dynamic networks of pushdown systems. (2005)

by A Bouajjani, M Mueller-Olm, T Touili
Venue:In CONCUR’05,