Author:
Bouajjani Ahmed,Esparza Javier,Maler Oded
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. A.V. Aho, J.E. Hopcroft, and J.D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, 1976.
2. R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The Algorithmic Analysis of Hybrid Systems. TCS, 138, 1995.
3. R. Alur and D. Dill. A Theory of Timed Automata. TCS, 126, 1994.
4. E. Asarin, O. Maler, and A. Pnueli. Symbolic Controller Synthesis for Discrete and Timed Systems. In Hybrid Systems II. LNCS 999, 1995.
5. B. Boigelot and P. Godefroid. Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs. In CAV'96. LNCS 1102, 1996.
Cited by
267 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Slice closures of indexed languages and word equations with counting constraints;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
3. Lazy model checking for recursive state machines;Software and Systems Modeling;2024-03-20
4. Deciding Asynchronous Hyperproperties for Recursive Programs;Proceedings of the ACM on Programming Languages;2024-01-05
5. Newton’s Method – There and Back Again;Lecture Notes in Computer Science;2024