Brünnler, Kai

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Journal Article

Brünnler, Kai; Flumini, Dandolo; Studer, Thomas (2020). A logic of blockchain updates Journal of Logic and Computation, 30(8), pp. 1469-1485. Oxford University Press https://doi.org/10.1093/logcom/exaa045

Book

Brünnler, Kai (2018). Blockchain: kurz & gut O'Reillys Taschenbibliothek. Heidelberg: O'Reilly

Conference or Workshop Item

Boss, Ramon; Brünnler, Kai; Doukmak, Anna (11 December 2020). Towards Verifying the Bitcoin-S Library In: 2nd Workshop on Formal Methods for Blockchains (FMBC 2020). Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany 10.4230/OASIcs.FMBC.2020.8

Brünnler, Kai; Flumini, Dandolo; Studer, Thomas (2018). A Logic of Blockchain Updates In: Logical Foundations of Computer Science. Deerfield Beach, FL / USA. 8-11.1.2018.

This list was generated on Wed Dec 8 03:49:22 2021 CET.
Provide Feedback