Formalization of Blockchain Properties
dc.contributor.author | Anceume, Emmanuelle | |
dc.contributor.author | Fernández Anta, Antonio | |
dc.contributor.author | Georgiou, Chryssis | |
dc.contributor.author | Nicolaou, Nicolas | |
dc.contributor.author | Potop-Butucaru, Maria | |
dc.contributor.editor | Fernández Anta, Antonio | |
dc.contributor.editor | Georgiou, Chryssis | |
dc.contributor.editor | Herlihy, Maurice | |
dc.contributor.editor | Potop-Butucaru, Maria | |
dc.date.accessioned | 2021-10-13T16:39:15Z | |
dc.date.available | 2021-10-13T16:39:15Z | |
dc.date.issued | 2021-08-23 | |
dc.identifier.isbn | 978-1636391687 | es |
dc.identifier.uri | http://hdl.handle.net/20.500.12761/1530 | |
dc.language.iso | eng | es |
dc.publisher | Morgan & Claypool Publishers | es |
dc.relation.ispartofseries | Synthesis Lectures on Computer Science | es |
dc.title | Formalization of Blockchain Properties | es |
dc.type | book part | es |
dc.type.hasVersion | VoR | es |
dc.rights.accessRights | restricted access | es |
dc.book.title | Principles of Blockchain Systems | es |
dc.page.final | 127 | |
dc.page.initial | 92 | es |
dc.description.refereed | TRUE | es |
dc.description.status | pub | es |
Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |