Reporting Races in Dynamic Partial Order Reduction
Publiceringsår
2015
Upphovspersoner
Saarikivi, Olli; Heljanko, Keijo
Organisationer och upphovspersoner
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
7th International Symposium on NASA Formal Methods (NFM), Pasadena, CA, USA, April 27-29, 2015,
Förläggare
Sidor
450-456
ISSN
Publikationsforum
Publikationsforumsnivå
0
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Nej
Parallellsparad
Nej
Övriga uppgifter
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Nej
Sampublikation med ett företag
Nej
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja