Assertional verification of a majority consensus algorithm for concurrency control in multiple copy databases

Research output: Book/Report › Report › Academic

Access to Document

@book{acd11bd7e3c44c33a8b6f4f19fb3c10e,

title = "Assertional verification of a majority consensus algorithm for concurrency control in multiple copy databases",

author = "M.R. Drost and \{van Leeuwen\}, J.",

year = "1988",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "88-13",

publisher = "Unknown Publisher",

edition = "RUU-CS",

}

TY - BOOK

T1 - Assertional verification of a majority consensus algorithm for concurrency control in multiple copy databases

AU - Drost, M.R.

AU - van Leeuwen, J.

PY - 1988

Y1 - 1988

M3 - Report

SN - 0924-3275

VL - 88-13

BT - Assertional verification of a majority consensus algorithm for concurrency control in multiple copy databases

PB - Unknown Publisher

CY - Utrecht

ER -