Author:
Küfner Philipp,Nestmann Uwe,Rickmann Christina
Publisher
Springer Berlin Heidelberg
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Certification of an exact worst-case self-stabilization time;Theoretical Computer Science;2023-01
2. Store Locally, Prove Globally;Theoretical Aspects of Computing – ICTAC 2023;2023
3. Eventual consensus in Synod: verification using a failure-aware actor model;Innovations in Systems and Software Engineering;2022-07-25
4. Quantum Blockchain;Advancements in Quantum Blockchain With Real-Time Applications;2022-06-30
5. Concurrent and Distributed Pseudocode: A Systematic Literature Review;2021 XLVII Latin American Computing Conference (CLEI);2021-10-25