Entry Anastasi:2001:EVM from compj2000.bib
Last update: Sun Mar 31 02:13:37 MDT 2019
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 |
X |
Y |
Z
BibTeX entry
@Article{Anastasi:2001:EVM,
author = "Giuseppe Anastasi and Alberto Bartoli and Nicoletta
{De Francesco} and Antonella Santone",
title = "Efficient Verification of a Multicast Protocol for
Mobile Computing",
journal = j-COMP-J,
volume = "44",
number = "1",
pages = "21--30",
month = "????",
year = "2001",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/44.1.21",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Thu Jun 7 05:41:47 MDT 2001",
bibsource = "http://www.math.utah.edu/pub/tex/bib/compj2000.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_01/",
URL = "http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_01/440021.sgm.abs.html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_44/Issue_01/pdf/440021.pdf",
acknowledgement = ack-nhfb,
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
}
Related entries
- Anastasi, Giuseppe,
46(1)3,
46(2)146,
52(2)186
- Bartoli, Alberto,
46(2)146
- computing,
0(0)xii--580,
0(0)xviii--532,
43(2)95,
46(1)36,
46(2)z,
46(6)593,
47(2)272,
47(4)399,
47(4)404,
47(4)418,
47(4)461,
47(4)475,
47(4)495,
48(1)42,
48(1)49,
48(3)300,
48(3)347,
48(3)379,
49(2)250,
49(4)383,
49(4)390,
49(5)527,
51(4)511
- efficient,
43(5)430,
44(5)340,
44(5)463,
46(4)358,
46(5)476,
46(6)632,
47(2)153,
47(2)169,
47(6)694,
48(4)451,
48(5)588,
49(1)108,
49(4)418,
50(3)348,
50(4)444,
50(5)602,
50(6)739,
51(2)192,
51(4)470,
51(6)662
- mobile,
0(0)xii--580,
0(0)xviii--492,
0(0)xviii--532,
44(2)75,
44(5)340,
45(1)101,
46(1)3,
46(2)146,
47(2)272,
47(3)278,
47(3)396,
47(4)404,
47(4)448,
47(5)622,
49(5)527,
49(6)685,
50(1)41,
50(3)281,
50(4)460,
52(4)461,
52(6)656
- Multicast,
44(5)354,
46(2)146
- protocol,
0(0)xi--420,
0(0)xvi--848,
0(0)xxxii--648,
43(1)24,
43(1)65,
44(3)201,
44(5)448,
44(5)463,
45(1)46,
45(1)101,
45(2)162,
46(2)146,
46(2)193,
46(2)z,
46(4)421,
47(4)507,
48(1)27,
48(3)333,
48(4)480,
49(1)82,
49(2)190,
49(2)251,
49(5)541,
49(6)710,
50(1)41,
50(2)204,
50(5)589,
50(5)591,
50(5)602,
52(2)186,
52(4)461,
52(4)483
- Verification,
0(0)xviii--320,
43(3)206,
44(6)504,
47(5)511,
47(5)622,
49(2)234