Logical Methods for Smart Contract Development Научная публикация
| Сборник | SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings Сборник, 2019. ISBN 978-172814401-6. |
||||
|---|---|---|---|---|---|
| Вых. Данные | Год: 2020, Страницы: 881-885 Страниц : 5 DOI: 10.1109/sibircon48586.2019.8958340 | ||||
| Ключевые слова | business process formalization; semantic modeling; smart contract | ||||
| Авторы |
|
||||
| Организации |
|
Библиографическая ссылка:
Galieva A.G.
, Palchunov D.E.
Logical Methods for Smart Contract Development
В сборнике 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
В сборнике 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
Идентификаторы БД:
| Scopus: | 2-s2.0-85079059070 |
| OpenAlex: | W3000264137 |