Reporting Races in Dynamic Partial Order Reduction
Julkaisuvuosi
2015
Tekijät
Saarikivi, Olli; Heljanko, Keijo
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
7th International Symposium on NASA Formal Methods (NFM), Pasadena, CA, USA, April 27-29, 2015,
Kustantaja
Sivut
450-456
ISSN
Julkaisufoorumi
Julkaisufoorumitaso
0
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä