Verifying sequentially consistent memory

E. Brinksma; J. Davies; R.T. Gerth; S. Graf; W. Janssen; B. Jonsson; S. Katz; G. Lowe; M. Poel; A. Pnueli; C. Rump; J. Zwiers

Verifying sequentially consistent memory

E. Brinksma, J. Davies, R.T. Gerth, S. Graf, W. Janssen, B. Jonsson, S. Katz, G. Lowe, M. Poel, A. Pnueli, C. Rump, J. Zwiers

Research output: Book/Report › Report › Popular

321 Downloads (Pure)

Original language	English
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Number of pages	160
Publication status	Published - 1994

Publication series

Name	Computing science reports
Volume	9444
ISSN (Print)	0926-4515

Access to Document

9611130Final published version, 4.89 MB

Cite this

@book{e91d9a0f5743409b87b449cbb19e166a,

title = "Verifying sequentially consistent memory",

author = "E. Brinksma and J. Davies and R.T. Gerth and S. Graf and W. Janssen and B. Jonsson and S. Katz and G. Lowe and M. Poel and A. Pnueli and C. Rump and J. Zwiers",

year = "1994",

language = "English",

series = "Computing science reports",

publisher = "Technische Universiteit Eindhoven",

}

TY - BOOK

T1 - Verifying sequentially consistent memory

AU - Brinksma, E.

AU - Davies, J.

AU - Gerth, R.T.

AU - Graf, S.

AU - Janssen, W.

AU - Jonsson, B.

AU - Katz, S.

AU - Lowe, G.

AU - Poel, M.

AU - Pnueli, A.

AU - Rump, C.

AU - Zwiers, J.

PY - 1994

Y1 - 1994

M3 - Report

T3 - Computing science reports

BT - Verifying sequentially consistent memory

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -