Model Checking Bchi Pushdown Systems.

Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin

Browse the full FASE paper archive.