C
urrent
R
esearch
I
nformation
S
ys
T
em
I
n
N
orway
English version
For å registrere i Cristin må du være vitenskapelig eller administrativt ansatt.
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
Tilbake til søk
Kort format
Fullt format
Eksporter til
EndNote
Reference Manager
PDF
Viser treff 1-1 av 1
2020
1
.
wu, shuang
; Gjøsteen, Kristian
; Boyd, Colin Alexander
.
A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract. 2nd Workshop on Formal Methods for Blockchains; 2020-07-20 - 2020-07-21
NTNU
Untitled
Cristin v1.2.6, 17.03.2022
[
drift@cristin.no
]