Pushdown Module Checking with Imperfect Information.

Benjamin Aminof, Aniello Murano, Moshe Y. Vardi

Browse the full CONCUR paper archive.