Logical Methods for Smart Contract Development Full article
| Source | SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings Compilation, 2019. ISBN 978-172814401-6. |
||||
|---|---|---|---|---|---|
| Output data | Year: 2020, Pages: 881-885 Pages count : 5 DOI: 10.1109/sibircon48586.2019.8958340 | ||||
| Tags | business process formalization; semantic modeling; smart contract | ||||
| Authors |
|
||||
| Affiliations |
|
Cite:
Galieva A.G.
, Palchunov D.E.
Logical Methods for Smart Contract Development
In compilation SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. 2020. – C.881-885. – ISBN 978-172814401-6. DOI: 10.1109/sibircon48586.2019.8958340 Scopus OpenAlex
Logical Methods for Smart Contract Development
In compilation SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. 2020. – C.881-885. – ISBN 978-172814401-6. DOI: 10.1109/sibircon48586.2019.8958340 Scopus OpenAlex
Identifiers:
| Scopus: | 2-s2.0-85079059070 |
| OpenAlex: | W3000264137 |