Refinement checking parameterised quorum systems
Julkaisuvuosi
2017
Tekijät
Siirtola, Antti
Organisaatiot ja tekijät
Oulun yliopisto
Siirtola Antti Tapani 
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli:
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
Konferenssi
International Conference on Application of Concurrency to System Design (ACSD)
Kustantaja
IEEE computer society press
Sivut
39-48
ISBN
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei tietoa
Rinnakkaistallennettu
Kyllä
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Avainsanat
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Julkaisumaa
Yhdysvallat (USA)
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1109/ACSD.2017.15
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä