Author:
Parvizimosaed Alireza,Sharifi Sepehr,Amyot Daniel,Logrippo Luigi,Roveri Marco,Rasti Aidin,Roudak Ali,Mylopoulos John
Funder
Social Sciences and Humanities Research Council of Canada
Natural Sciences and Engineering Research Council of Canada
Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference92 articles.
1. Accord Project: Ergo. https://accordproject.org/projects/ergo/ (2020)
2. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M., Torroni, P.: Expressing and verifying business contracts with abductive logic programming. Int. J. Electron. Commerce 12(4), 9–38 (2008)
3. Allard, M.P.: The retroactive effect of conditional obligations in tax law. Can. Tax J. 49(6), 1726–1839 (2001)
4. Allen, J.F.: Towards a general theory of action and time. Artif. Intell. 23(2), 123–154 (1984)
5. Alqahtani, S.M., He, X., Gamble, R.F., Papa, M.: Formal verification of functional requirements for smart contract compositions in supply chain management systems. In: 53rd Hawaii International Conference on System Sciences, HICSS 2020, pp. 1–10. ScholarSpace (2020). https://doi.org/10.24251/HICSS.2020.650
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献