Publisher
Springer International Publishing
Reference14 articles.
1. Albert, E., de Boer, F.S., Hähnle, R., Johnsen, E.B., Laneve,C.: Engineering virtualized services. In: NordiCloud 2013, vol. 826 of ACM International Conference Proceeding Series, pp. 59–63. ACM (2013)
2. Bartoletti, M., Lande, S., Murgia, M., Zunino, R.: Verifying liquidity of recursive bitcoin contracts. Log. Methods Comput. Sci. 18(1) (2022)
3. Lecture Notes in Computer Science;M Bartoletti,2019
4. Blackshear, S., et al.: Resources: a safe language abstraction for money. CoRR, abs/2004.05106 (2020). https://arxiv.org/abs/2004.05106
5. Brakmić, H.: Bitcoin Script, pp. 201–224. Apress, Berkeley, CA (2019)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. TRAC: A Tool for Data-Aware Coordination;Lecture Notes in Computer Science;2024
2. Pacta sunt servanda: Legal contracts in;Science of Computer Programming;2023-01
3. Legal Contracts Amending with;Lecture Notes in Computer Science;2023