Entry Blum:1991:CCM from focs1990.bib
Last update: Thu Sep 27 02:15:07 MDT 2018
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
Y |
Z
BibTeX entry
@InProceedings{Blum:1991:CCM,
author = "M. Blum and W. Evans and P. Gemmell and S. Kannan and
M. Naor",
title = "Checking the correctness of memories",
crossref = "IEEE:1991:PAS",
pages = "90--99",
year = "1991",
bibdate = "Thu Apr 5 06:13:50 MDT 2001",
bibsource = "http://www.math.utah.edu/pub/tex/bib/focs1990.bib",
acknowledgement = ack-nhfb,
}
Related entries
- automata,
0(0)38,
0(0)66,
0(0)332,
0(0)349,
0(0)358,
0(0)368,
0(0)369,
0(0)528,
0(0)z,
2(0)672,
2(0)683,
2(0)740,
2(0)788
- Blum, M.,
0(0)382,
0(0)406
- cellular,
0(0)38,
0(0)278,
0(0)528
- checking,
0(0)2,
0(0)258,
0(0)268,
0(0)592
- Evans, W.,
0(0)594
- Gemmell, P.,
0(0)384
- Kannan, S.,
0(0)501,
0(0)524,
1(0)362
- Naor, M.,
0(0)170,
0(0)182,
0(0)214,
0(0)239,
0(0)374,
0(0)417,
0(0)458,
0(0)515,
0(0)523,
0(0)576,
0(0)693,
1(0)46
- reliable,
0(0)332,
0(0)594,
0(0)602