Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Cited by
116 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Extensible Proof Systems for Infinite-State Systems;ACM Transactions on Computational Logic;2023-11-18
2. Global Model-Checking for Propositional $\mu$-Calculus;2023 6th International Conference on Information Communication and Signal Processing (ICICSP);2023-09-23
3. Improved Model Checking Algorithm for Mobile Ambients;2023 4th International Symposium on Computer Engineering and Intelligent Communications (ISCEIC);2023-08-18
4. Model Checking a Logic for True Concurrency;ACM Transactions on Computational Logic;2020-10-31
5. Causal Reasoning for Safety in Hennessy Milner Logic;Fundamenta Informaticae;2020-03-31