Publisher
Springer International Publishing
Reference37 articles.
1. LNCS;R. Alur,1997
2. LNCS;D. Bosnacki,2007
3. Browne, M., Clarke, E., Grumberg, O.: Characterizing finite Kripke structures in propositional temporal logic. Theor. Comput. Sci. 59(1–2), 115–131 (1988)
4. LNCS;C. Chou,1996
5. Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Algebraic Semantics of Register Transfer Level in Synthesis of Stream Calculus-Based Computing Big Data in Livestream;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2024
2. Psym: Efficient Symbolic Exploration of Distributed Systems;Proceedings of the ACM on Programming Languages;2023-06-06
3. BiRD: Race Detection in Software Binaries under Relaxed Memory Models;ACM Transactions on Software Engineering and Methodology;2022-07-12
4. SOA and the Button Problem;Lecture Notes in Computer Science;2019