On Model Checking for Visibly Pushdown Automata.

Nguyen Van Tang, Hitoshi Ohsaki

Browse the full LATA paper archive.