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