Publikationstyp: | Konferenz: Paper |
Art der Begutachtung: | Peer review (Abstract) |
Titel: | A logic of blockchain updates |
Autor/-in: | Brünnler, Kai Flumini, Dandolo Studer, Thomas |
et. al: | No |
DOI: | 10.1007/978-3-319-72056-2_7 |
Tagungsband: | Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings |
Herausgeber/-in des übergeordneten Werkes: | Artemov, Sergei Nerode, Anil |
Seite(n): | 107 |
Seiten bis: | 119 |
Angaben zur Konferenz: | International Symposium on Logical Foundations of Computer Science, Deerfield Beach, USA, 8-11 January 2018 |
Erscheinungsdatum: | 2018 |
Reihe: | Lecture Notes in Computer Science |
Reihenzählung: | 10703 |
Verlag / Hrsg. Institution: | Springer |
ISBN: | 978-3-319-72055-5 978-3-319-72056-2 |
ISSN: | 0302-9743 1611-3349 |
Sprache: | Englisch |
Fachgebiet (DDC): | 005: Computerprogrammierung, Programme und Daten |
URI: | https://digitalcollection.zhaw.ch/handle/11475/18255 |
Volltext Version: | Publizierte Version |
Lizenz (gemäss Verlagsvertrag): | Lizenz gemäss Verlagsvertrag |
Departement: | School of Engineering |
Organisationseinheit: | Institut für Angewandte Mathematik und Physik (IAMP) |
Enthalten in den Sammlungen: | Publikationen School of Engineering |
Dateien zu dieser Ressource:
Es gibt keine Dateien zu dieser Ressource.
Zur Langanzeige
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.
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt, soweit nicht anderweitig angezeigt.