Pushdown Module Checking.

Laura Bozzelli, Aniello Murano, Adriano Peron

Browse the full LPAR paper archive.