Author:
Khoja Alan,Kölbl Martin,Leue Stefan,Wilhelmi Rüdiger
Publisher
Springer International Publishing
Reference50 articles.
1. Balbiani, P., Broersen, J.M., Brunel, J.: Decision procedures for a deontic logic modeling temporal inheritance of obligations. Electron. Notes Theor. Comput. Sci. 231, 69–89 (2009)
2. Bürgerliches Gesetzbuch, German Civil Code
3. Braegelmann, T., Kaulartz, M.: Rechtshandbuch Smart Contracts. C. H. Beck, Munich (2019)
4. Bonifacio, A.L., Della Mura, W.A.: Automatically running experiments on checking multi-party contracts. Artif. Intell. Law 29(3), 287–310 (2020). https://doi.org/10.1007/s10506-020-09276-y
5. Lecture Notes in Computer Science;H Boley,2010