Author:
Carotenuto Dario,Murano Aniello,Peron Adriano
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Alur, R., Madhusudan, P.: Visibly pushdown languages. In: STOC 2004, pp. 202–211. ACM Press, New York (2004)
2. Lecture Notes in Artificial Intelligence;L. Bozzelli,2005
3. Breveglieri, L., Cherubini, A., Citrini, C., Crespi-Reghizzi, S.: Multi-push-down languages and grammars. Int. J. Found. Comput. Sci. 7(3), 253–292 (1996)
4. Lecture Notes in Computer Science;E.M. Clarke,1982
5. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verifying correct usage of context-free API protocols;Proceedings of the ACM on Programming Languages;2021-01-04
2. Model-Checking HyperLTL for Pushdown Systems;Model Checking Software;2018
3. The determinacy strength of pushdownω-languages;RAIRO - Theoretical Informatics and Applications;2017-01
4. Reachability Analysis of Pushdown Systems with an Upper Stack;Language and Automata Theory and Applications;2017
5. Scope-Bounded Pushdown Languages;Developments in Language Theory;2014