Author:
Bollig Benedikt,Kuske Dietrich,Mennicke Roy
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Theoretical Computer Science
Reference37 articles.
1. Aiswarya, C., Gastin, P., Narayan Kumar, K.: Verifying communicating multi-pushdown systems via split-width. In: Proceedings of ATVA’14, pp 1–17 (2014)
2. Alur, R., Arenas, M., Barceló, P., Etessami, K., Immerman, N., Libkin, L.: First-order and temporal logics for nested words. Logical Methods Comput Sci 4(11), 1–44 (2008)
3. Alur, R., Etessami, K., Madhusudan, P.: A Temporal Logic of Nested Calls and Returns. In: Proceedings of TACAS’04, vol. 2988 of Lecture Notes in Computer Science, pp 467–481. Springer (2004)
4. Alur, R., Madhusudan, P.: Adding nesting structure to words. J ACM 56, 16:1–16:43 (2009)
5. Atig, M.F.: Model-checking of ordered multi-pushdown automata. Logical Methods Comput Sci 8, 3 (2012)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献