Publisher
Springer Berlin Heidelberg
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Formal Reasoning Using Distributed Assertions;Frontiers of Combining Systems;2023
2. A strongly complete axiomatization of intuitionistic temporal logic;Journal of Logic and Computation;2021-07-16
3. A Formal Treatment of Contract Signature;IEEE Transactions on Services Computing;2021
4. A Distributed and Trusted Web of Formal Proofs;Distributed Computing and Internet Technology;2019-12-09
5. Proof-Carrying Network Code;Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security;2019-11-06