Shrinking Multi-pushdown Automata.

Markus Holzer, Friedrich Otto

Browse the full FCT paper archive.