Author:
Haase Christoph,Kreutzer Stephan,Ouaknine Joël,Worrell James
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Lecture Notes in Computer Science;P.A. Abdulla,1998
2. Alur, R., Henzinger, T.A., Vardi, M.Y.: Parametric real-time reasoning. In: Proc. STOC 1993, pp. 592–601. ACM, New York (1993)
3. Lecture Notes in Computer Science;A. Bouajjani,2006
4. Lecture Notes in Computer Science;M. Bozga,2006
5. Lecture Notes in Computer Science;H. Comon,1998
Cited by
52 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Ramsey Quantifiers in Linear Arithmetics;Proceedings of the ACM on Programming Languages;2024-01-05
2. Dimension-Minimality and Primality of Counter Nets;Lecture Notes in Computer Science;2024
3. Countdown games, and simulation on (succinct) one-counter nets;Logical Methods in Computer Science;2023-02-09
4. Continuous One-counter Automata;ACM Transactions on Computational Logic;2023-01-18
5. Coverability in 2-VASS with One Unary Counter is in NP;Lecture Notes in Computer Science;2023