Exploring the scope for partial order reduction

Research output: Contribution to journal › Article › Scientific › peer-review

16 Citations (Scopus)

Translated title of the contribution	Exploring the scope for partial order reduction
Original language	English
Pages (from-to)	39-53
Journal	Lecture Notes in Computer Science
Volume	5799
DOIs	https://doi.org/10.1007/978-3-642-04761-9_4
Publication status	Published - 2009
Publication type	A1 Journal article-refereed

Publication forum classification

@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 -