Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems.

Ahmed Bouajjani, Markus Mller-Olm, Tayssir Touili

Browse the full CONCUR paper archive.