Efficient CTL Model-Checking for Pushdown Systems.

Fu Song, Tayssir Touili

Browse the full CONCUR paper archive.