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 |
Page(s): | 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 978-3-319-72056-2 |
ISSN: | 0302-9743 1611-3349 |
Language: | English |
Subject (DDC): | 005: Computer programming, programs and data |
URI: | https://digitalcollection.zhaw.ch/handle/11475/18255 |
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.
Show full item record
Brünnler, K., Flumini, D., & Studer, T. (2018). A logic of blockchain updates [Conference paper]. In S. Artemov & A. Nerode (Eds.), Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings (pp. 107–119). Springer. https://doi.org/10.1007/978-3-319-72056-2_7
Brünnler, K., Flumini, D. and Studer, T. (2018) ‘A logic of blockchain updates’, in S. Artemov and A. Nerode (eds) Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings. Springer, pp. 107–119. Available at: https://doi.org/10.1007/978-3-319-72056-2_7.
K. Brünnler, D. Flumini, and T. Studer, “A logic of blockchain updates,” in Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings, 2018, pp. 107–119. doi: 10.1007/978-3-319-72056-2_7.
BRÜNNLER, Kai, Dandolo FLUMINI und Thomas STUDER, 2018. A logic of blockchain updates. In: Sergei ARTEMOV und Anil NERODE (Hrsg.), Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings. Conference paper. Springer. 2018. S. 107–119. ISBN 978-3-319-72055-5
Brünnler, Kai, Dandolo Flumini, and Thomas Studer. 2018. “A Logic of Blockchain Updates.” Conference paper. In Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings, edited by Sergei Artemov and Anil Nerode, 107–19. Springer. https://doi.org/10.1007/978-3-319-72056-2_7.
Brünnler, Kai, et al. “A Logic of Blockchain Updates.” Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings, edited by Sergei Artemov and Anil Nerode, Springer, 2018, pp. 107–19, https://doi.org/10.1007/978-3-319-72056-2_7.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.