technical report RUU-CS-88-13
select other reports
report
| techrep_id |
file |
title / author |
| RUU-CS-88-13 |
pdf |
Assertional verification of a majority consensus algorithm for concurrency control in multiple copy databases N.J. Drost and J. van Leeuwen |
BibTeX entry
@TECHREPORT{RUUCS8813,
author = {Drost, N.J. and Leeuwen, J.~van},
year = 1988,
title = {Assertional verification of a majority consensus algorithm for concurrency control in multiple copy databases},
number = {RUU-CS-88-13},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1988/1988-13.pdf}},
pubcat = {techreport}
}
webmaster@cs.uu.nl,
Sun, 05 Feb 2012 19:40:46 +0100
←
Departement Informatica, Universiteit Utrecht