Minimizing Variants of Visibly Pushdown Automata.

Patrick Chervet, Igor Walukiewicz

Browse the full MFCS paper archive.