Author:
Broadbent Chris,Carayol Arnaud,Hague Matthew,Serre Olivier
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Atig, M.F.: Global model checking of ordered multi-pushdown systems. In: FSTTCS, pp. 216–227 (2010)
2. Ball, T., Rajamani, S.K.: The SLAM project: Debugging system software via static analysis. In: POPL, pp. 1–3 (2002)
3. Benois, M.: Parties rationnelles du groupe libre. Comptes-Rendus de l’Acamdémie des Sciences de Paris, Série A, 1188–1190 (1969)
4. Lecture Notes in Computer Science;A. Bouajjani,1997
5. Lecture Notes in Computer Science;A. Bouajjani,2004
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Collapsible Pushdown Parity Games;ACM Transactions on Computational Logic;2021-06-24
2. ON THE EXPRESSIVE POWER OF HIGHER-ORDER PUSHDOWN SYSTEMS;LOG METH COMPUT SCI;2020
3. 10 Years of the Higher-Order Model Checking Project (Extended Abstract);Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07
4. Intersection Types for Unboundedness Problems;Electronic Proceedings in Theoretical Computer Science;2019-04-23
5. Constrained Dynamic Tree Networks;Lecture Notes in Computer Science;2018