Author:
Bollig Benedikt,Cyriac Aiswarya,Gastin Paul,Zeitoun Marc
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Alur, R., Arenas, M., Barceló, P., Etessami, K., Immerman, N., Libkin, L.: First-order and temporal logics for nested words. Log. Meth. Comput. Sci. 4(4) (2008)
2. Lecture Notes in Computer Science;R. Alur,2004
3. Alur, R., Madhusudan, P.: Adding nesting structure to words. Journal of the ACM 56, 16:1–16:43 (2009)
4. Atig, M.F.: Global Model Checking of Ordered Multi-Pushdown Systems. In: FSTTCS 2010, vol. 8, pp. 216–227 (2010)
5. Lecture Notes in Computer Science;B. Bollig,2009
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Visibly Linear Temporal Logic;Journal of Automated Reasoning;2017-03-11
2. ADJACENT ORDERED MULTI-PUSHDOWN SYSTEMS;International Journal of Foundations of Computer Science;2014-12
3. Temporal logics for concurrent recursive programs: Satisfiability and model checking;Journal of Applied Logic;2014-12
4. Verifying Communicating Multi-pushdown Systems via Split-Width;Automated Technology for Verification and Analysis;2014
5. The Complexity of Model Checking Multi-stack Systems;2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science;2013-06