Enriched -Calculus Pushdown Module Checking.

Alessandro Ferrante, Aniello Murano, Mimmo Parente

Browse the full LPAR paper archive.