Right-Universality of Visibly Pushdown Automata

TitleRight-Universality of Visibly Pushdown Automata
Publication TypeConference Paper
Year of Publication2013
AuthorsBruyère, V, Ducobu M, Gauwin O
Conference NameRuntime Verification - 4th International Conference, {RV} 2013, Rennes, France, September 24-27, 2013. Proceedings
URLhttp://dx.doi.org/10.1007/978-3-642-40787-1_5
DOI10.1007/978-3-642-40787-1_5