Author:
Atig Mohamed Faouzi,Narayan Kumar K.,Saivasan Prakash
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Atig, M.F.: Global model checking of ordered multi-pushdown systems. In: FSTTCS. LIPIcs, vol. 8, pp. 216–227. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2010)
2. Lecture Notes in Computer Science;M.F. Atig,2008
3. Lecture Notes in Computer Science;M.F. Atig,2012
4. Lecture Notes in Computer Science;M.F. Atig,2012
5. Lecture Notes in Computer Science;B. Bollig,2011
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Scope-Bounded Pushdown Languages;International Journal of Foundations of Computer Science;2016-02
2. Acceleration in Multi-PushDown Systems;Tools and Algorithms for the Construction and Analysis of Systems;2016
3. ADJACENT ORDERED MULTI-PUSHDOWN SYSTEMS;International Journal of Foundations of Computer Science;2014-12
4. Budget-bounded model-checking pushdown systems;Formal Methods in System Design;2014-04-25
5. Scope-Bounded Pushdown Languages;Developments in Language Theory;2014