Decent: A Benchmark for Decentralized Enforcement
| العنوان: | Decent: A Benchmark for Decentralized Enforcement |
|---|---|
| المؤلفون: | Florian Gallay, Yliès Falcone |
| المصدر: | Runtime Verification ISBN: 9783031171956 |
| بيانات النشر: | Springer International Publishing, 2022. |
| سنة النشر: | 2022 |
| ردمك: | 978-3-031-17195-6 |
| DOI: | 10.1007/978-3-031-17196-3_18 |
| URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_________::676fd8e252de0724eb097714c0db2a40 https://doi.org/10.1007/978-3-031-17196-3_18 |
| Rights: | CLOSED |
| رقم الانضمام: | edsair.doi...........676fd8e252de0724eb097714c0db2a40 |
| قاعدة البيانات: | OpenAIRE |
| ردمك: | 9783031171956 |
|---|---|
| DOI: | 10.1007/978-3-031-17196-3_18 |