Local Verification of Global Proofs
Publiceringsår
2018
Upphovspersoner
Feuilloley, Laurent; Hirvonen, Juho
Organisationer och upphovspersoner
Aalto-universitetet
Hirvonen Juho 
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Konferens
Artikelstyp
Annan artikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A4 Artikel i en konferenspublikationPublikationskanalens uppgifter
Moderpublikationens namn
32nd International Symposium on Distributed Computing (DISC 2018)
Volym
121
Sidor
1-17
ISSN
ISBN
Publikationsforum
Publikationsforumsnivå
1
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Ja
Öppen tillgång till publikationskanalen
Helt öppen publikationskanal
Parallellsparad
Ja
Övriga uppgifter
Vetenskapsområden
Data- och informationsvetenskap
Nyckelord
[object Object],[object Object],[object Object],[object Object]
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Ja
Sampublikation med ett företag
Nej
DOI
10.4230/LIPIcs.DISC.2018.25
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja