Author:
Jantsch Simon,Funke Florian,Baier Christel
Publisher
Springer International Publishing
Reference35 articles.
1. Alur, R., Courcoubetis, C., Dill, D.: Model-checking in dense real-time. Inf. Comput. 104(1), 2–34 (1993). https://doi.org/10.1006/inco.1993.1024
2. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994). https://doi.org/10.1016/0304-3975(94)90010-8
3. Lecture Notes in Computer Science;ME Andrés,2009
4. Arora, S., Barak, B.: Computational Complexity - A Modern Approach. Cambridge University Press, Cambridge (2009)
5. Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). MIT Press, Cambridge (2008)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration;Tools and Algorithms for the Construction and Analysis of Systems;2023
2. From Verification to Explanation (Track Introduction);Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends;2021
3. Minimal Witnesses for Probabilistic Timed Automata;Automated Technology for Verification and Analysis;2020