Publication type: Conference paper
Type of review: Peer review (abstract)
Title: A logic of blockchain updates
Authors : Brünnler, Kai
Flumini, Dandolo
Studer, Thomas
et. al : No
DOI : 10.1007/978-3-319-72056-2_7
Proceedings: Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings
Editors of the parent work: Artemov, Sergei
Nerode, Anil
Pages : 107
Pages to: 119
Conference details: International Symposium on Logical Foundations of Computer Science, Deerfield Beach, USA, 8-11 January 2018
Issue Date: 2018
Series : Lecture Notes in Computer Science
Series volume: 10703
Publisher / Ed. Institution : Springer
ISBN: 978-3-319-72055-5
ISSN: 0302-9743
Language : English
Subject (DDC) : 005: Computer programming, programs and data
Fulltext version : Published version
License (according to publishing contract) : Licence according to publishing contract
Departement: School of Engineering
Organisational Unit: Institute of Applied Mathematics and Physics (IAMP)
Appears in Collections:Publikationen School of Engineering

Files in This Item:
There are no files associated with this item.

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.