Exploring the scope for partial order reduction

Julkaisun otsikon käännös: Exploring the scope for partial order reduction

Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu

16 Sitaatiot (Scopus)

Julkaisun otsikon käännös	Exploring the scope for partial order reduction
Alkuperäiskieli	Englanti
Sivut	39-53
Julkaisu	Lecture Notes in Computer Science
Vuosikerta	5799
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-642-04761-9_4
Tila	Julkaistu - 2009
OKM-julkaisutyyppi	A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

Julkaisufoorumi-taso

@article{10c4858c87474920b0593a15bb440d35,

title = "Exploring the scope for partial order reduction",

author = "J. Geldenhuys and H. Hansen and A. Valmari",

note = "Contribution: organisation=ohj,FACT1=1",

year = "2009",

doi = "10.1007/978-3-642-04761-9\_4",

language = "English",

volume = "5799",

pages = "39--53",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer",

}

TY - JOUR

T1 - Exploring the scope for partial order reduction

AU - Geldenhuys, J.

AU - Hansen, H.

AU - Valmari, A.

N1 - Contribution: organisation=ohj,FACT1=1

PY - 2009

Y1 - 2009

U2 - 10.1007/978-3-642-04761-9_4

DO - 10.1007/978-3-642-04761-9_4

M3 - Article

SN - 0302-9743

VL - 5799

SP - 39

EP - 53

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -