Guard-based Partial Order Reduction
Publiceringsår
2014
Upphovspersoner
Laarman, Alfons;Pater, Elwin;Van de Pol, Jaco ;Hansen, Henri
Organisationer och upphovspersoner
Tammerfors universitet
Hansen Henri
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Tidning
Artikelstyp
En originalartikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A1 Originalartikel i en vetenskaplig tidskriftPublikationskanalens uppgifter
Volym
18
Nummer
4
Sidor
427-448
ISSN
Publikationsforum
Publikationsforumsnivå
1
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Nej
Parallellsparad
Nej
Övriga uppgifter
Vetenskapsområden
Matematik
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Ja
Sampublikation med ett företag
Nej
DOI
10.1007/s10009-014-0363-9
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja