Salvatore La Torre, Margherita Napoli, Mimmo Parente. On the Membership Problem for Visibly Pushdown Languages. In Susanne Graf, Wenhui Zhang, editors, Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Volume 4218 of Lecture Notes in Computer Science, pages 96-109, Springer, 2006. [doi]
@inproceedings{TorreNP06,
title = {On the Membership Problem for Visibly Pushdown Languages},
author = {Salvatore La Torre and Margherita Napoli and Mimmo Parente},
year = {2006},
doi = {10.1007/11901914_10},
url = {http://dx.doi.org/10.1007/11901914_10},
researchr = {https://researchr.org/publication/TorreNP06},
cites = {0},
citedby = {0},
pages = {96-109},
booktitle = {Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006},
editor = {Susanne Graf and Wenhui Zhang},
volume = {4218},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-47237-1},
}