Author:
Kwiatkowska Marta,Norman Gethin
Publisher
Springer Berlin Heidelberg
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verifying Randomized Consensus Protocols with Common Coins;2024 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN);2024-06-24
2. Rigorous Evaluation of Computer Processors with Statistical Model Checking;56th Annual IEEE/ACM International Symposium on Microarchitecture;2023-10-28
3. Verification of randomized consensus algorithms under round-rigid adversaries;International Journal on Software Tools for Technology Transfer;2021-02-02
4. Layered reasoning for randomized distributed algorithms;Formal Aspects of Computing;2012-07
5. Verifying Team Formation Protocols with Probabilistic Model Checking;Lecture Notes in Computer Science;2011