Practical Partial Order Reduction for CSP
Publiceringsår
2015
Upphovspersoner
Gibson-Robinson, Thomas;Hansen, Henri;Roscoe, A. Willian;Wang, Xu
Organisationer och upphovspersoner
Tammerfors universitet
Hansen Henri
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
Konferens
Förläggare
Volym
9058
Sidor
188-203
ISBN
Publikationsforum
Publikationsforumsnivå
2
Ö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/978-3-319-17524-9_14
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja