1. ZHAW digitalcollection
  2. School of Engineering
  3. Publikationen
  4. Publikationen School of Engineering
Full metadata record
DC FieldValueLanguage
dc.contributor.authorBrünnler, Kai-
dc.contributor.authorFlumini, Dandolo-
dc.contributor.authorStuder, Thomas-
dc.date.accessioned2019-09-25T09:48:31Z-
dc.date.available2019-09-25T09:48:31Z-
dc.date.issued2018-
dc.identifier.isbn978-3-319-72055-5de_CH
dc.identifier.isbn978-3-319-72056-2de_CH
dc.identifier.issn0302-9743de_CH
dc.identifier.issn1611-3349de_CH
dc.identifier.urihttps://digitalcollection.zhaw.ch/handle/11475/18255-
dc.language.isoende_CH
dc.publisherSpringerde_CH
dc.relation.ispartofseriesLecture Notes in Computer Sciencede_CH
dc.rightsLicence according to publishing contractde_CH
dc.subject.ddc005: Computerprogrammierung, Programme und Datende_CH
dc.titleA logic of blockchain updatesde_CH
dc.typeKonferenz: Paperde_CH
dcterms.typeTextde_CH
zhaw.departementSchool of Engineeringde_CH
zhaw.organisationalunitInstitut für Angewandte Mathematik und Physik (IAMP)de_CH
dc.identifier.doi10.1007/978-3-319-72056-2_7de_CH
zhaw.conference.detailsInternational Symposium on Logical Foundations of Computer Science, Deerfield Beach, USA, 8-11 January 2018de_CH
zhaw.funding.euNode_CH
zhaw.originated.zhawYesde_CH
zhaw.pages.end119de_CH
zhaw.pages.start107de_CH
zhaw.parentwork.editorArtemov, Sergei-
zhaw.parentwork.editorNerode, Anil-
zhaw.publication.statuspublishedVersionde_CH
zhaw.series.number10703de_CH
zhaw.publication.reviewPeer review (Abstract)de_CH
zhaw.title.proceedingsLogical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedingsde_CH
zhaw.webfeedDatalabde_CH
zhaw.author.additionalNode_CH
Appears in collections:Publikationen School of Engineering

Files in This Item:
There are no files associated with this item.
Show simple 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.