Guard-based Partial Order Reduction
Julkaisuvuosi
2014
Tekijät
Laarman, Alfons;Pater, Elwin;Van de Pol, Jaco ;Hansen, Henri
Organisaatiot ja tekijät
Tampereen yliopisto
Hansen Henri
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Lehti
Artikkelin tyyppi
Alkuperäisartikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessäJulkaisukanavan tiedot
Volyymi
18
Numero
4
Sivut
427-448
ISSN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Matematiikka
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1007/s10009-014-0363-9
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä